From 36efae0c8fd37fb97eadd74375acc0a77d10f637 Mon Sep 17 00:00:00 2001
From: Ingvar Stepanyan <rreverser@google.com>
Date: Fri, 20 Sep 2019 15:56:44 +0100
Subject: [PATCH] Remove V8IntrinsicIdentifier from JSON printer

---
 src/language-js/printer-estree-json.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/language-js/printer-estree-json.js b/src/language-js/printer-estree-json.js
index 80bbb1773402..5f82f15d3790 100644
--- a/src/language-js/printer-estree-json.js
+++ b/src/language-js/printer-estree-json.js
@@ -52,8 +52,6 @@ function genericPrint(path, options, print) {
       return JSON.stringify(node.value);
     case "Identifier":
       return JSON.stringify(node.name);
-    case "V8IntrinsicIdentifier":
-      return JSON.stringify(`%${node.name}`);
     default:
       /* istanbul ignore next */
       throw new Error("unknown type: " + JSON.stringify(node.type));