remove `space_colon` (#1960)

Always emit space after colon when `options.output.beautify` is enabled.

diff --git a/lib/output.js b/lib/output.js
index 0b98825..b4d31b5 100644 (file)
--- 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) {