| 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())
|
|
|