1 files changed, 2 insertions, 1 deletions
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
         };
     });