From 5e314bf3e934c9e54bd7145af04b36a1e36e5988 Mon Sep 17 00:00:00 2001
From: Ingvar Stepanyan <me@rreverser.com>
Date: Sun, 3 Aug 2014 01:28:58 +0300
Subject: [PATCH] SpiderMonkey `Identifier` nodes should contain mangled names.

---
 lib/mozilla-ast.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/mozilla-ast.js b/lib/mozilla-ast.js
index 0d2259de..7f0995c0 100644
--- a/lib/mozilla-ast.js
+++ b/lib/mozilla-ast.js
@@ -328,9 +328,10 @@
     });
 
     def_to_moz(AST_Symbol, function To_Moz_Identifier(M) {
+        var def = M.definition();
         return {
             type: "Identifier",
-            name: M.name
+            name: def ? def.mangled_name || def.name : M.name
         };
     });
 
-- 
2.34.1