remove space_colon (#1960)

Always emit space after colon when `options.output.beautify` is enabled.
mishoo · May 17, 2017 · 87c3a2c · 87c3a2c
1 parent baef8bf
commit 87c3a2c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lib/output.js b/lib/output.js
@@ -70,7 +70,6 @@ function OutputStream(options) {
         semicolons       : true,
         shebang          : true,
         source_map       : null,
-        space_colon      : true,
         unescape_regexps : false,
         width            : 80,
         wrap_iife        : false,
@@ -357,7 +356,7 @@ function OutputStream(options) {
 
     function colon() {
         print(":");
-        if (options.space_colon) space();
+        space();
     };
 
     var add_mapping = options.source_map ? function(token, name) {