| Index: pkg/compiler/lib/src/js/js.dart
|
| diff --git a/pkg/compiler/lib/src/js/js.dart b/pkg/compiler/lib/src/js/js.dart
|
| index df510a854fcbb38363ccd9028427d0b70f267b38..837b9feadbcdf1729acf63ba183ff45badeb4504 100644
|
| --- a/pkg/compiler/lib/src/js/js.dart
|
| +++ b/pkg/compiler/lib/src/js/js.dart
|
| @@ -27,7 +27,7 @@ String prettyPrint(
|
| Renamer renamerForNames: JavaScriptPrintingOptions.identityRenamer}) {
|
| // TODO(johnniwinther): Do we need all the options here?
|
| JavaScriptPrintingOptions options = new JavaScriptPrintingOptions(
|
| - shouldCompressOutput: compiler.enableMinification,
|
| + shouldCompressOutput: compiler.options.enableMinification,
|
| minifyLocalVariables: allowVariableMinification,
|
| preferSemicolonToNewlineInMinifiedOutput: USE_LAZY_EMITTER,
|
| renamerForNames: renamerForNames);
|
| @@ -47,7 +47,7 @@ CodeBuffer createCodeBuffer(
|
| JavaScriptSourceInformationStrategy sourceInformationFactory =
|
| compiler.backend.sourceInformationStrategy;
|
| JavaScriptPrintingOptions options = new JavaScriptPrintingOptions(
|
| - shouldCompressOutput: compiler.enableMinification,
|
| + shouldCompressOutput: compiler.options.enableMinification,
|
| minifyLocalVariables: allowVariableMinification,
|
| preferSemicolonToNewlineInMinifiedOutput: USE_LAZY_EMITTER,
|
| renamerForNames: renamerForNames);
|
|
|