improve rename reproducibility (#2754)

fixes #2752
2018-01-09 13:53:05 +08:00
parent ce27bcd69a
commit 2e22d38a02
2 changed files with 15 additions and 0 deletions
--- a/lib/minify.js
+++ b/lib/minify.js
@@ -141,6 +141,7 @@ function minify(files, options) {
        }
        if (timings) timings.rename = Date.now();
        if (options.rename) {
+            SymbolDef.next_id = 1;
            toplevel.figure_out_scope(options.mangle);
            toplevel.expand_names(options.mangle);
        }