diff options
| -rw-r--r-- | tools/js-optimizer.js | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/js-optimizer.js b/tools/js-optimizer.js index f44e7b67..3c905f4c 100644 --- a/tools/js-optimizer.js +++ b/tools/js-optimizer.js @@ -1657,11 +1657,12 @@ function eliminate(ast) { traverseInOrder(node[1]); traverseInOrder(node[2]); traverseInOrder(node[3]); - } else if (type in ABORTING_ELIMINATOR_SCAN_NODES) { + } else { + if (!(type in ABORTING_ELIMINATOR_SCAN_NODES)) { + printErr('unfamiliar eliminator scan node: ' + JSON.stringify(node)); + } tracked = {}; abort = true; - } else { - printErr('unfamiliar eliminator scan node: ' + JSON.stringify(node)); } } traverseInOrder(node); |