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);