Index: dart/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart |
diff --git a/dart/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart b/dart/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart |
index fc66723549685d18212851e42ef3a61de7f1c2e4..a284cbea142e8e5c5f39c59b17e4c0a31289bedf 100644 |
--- a/dart/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart |
+++ b/dart/sdk/lib/_internal/compiler/implementation/js_backend/emitter.dart |
@@ -4154,7 +4154,9 @@ if (typeof $printHelperName === "function") { |
outputSourceMap(compiler.assembledCode, ''); |
mainBuffer.write( |
- jsAst.prettyPrint(precompiledFunctionAst, compiler).getText()); |
+ jsAst.prettyPrint( |
+ precompiledFunctionAst, compiler, |
+ allowVariableMinification: false).getText()); |
compiler.outputProvider('', 'precompiled.js') |
..add(mainBuffer.getText()) |