diff options
| -rw-r--r-- | tools/eliminator/eliminator-test-output.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/eliminator/eliminator-test-output.js b/tools/eliminator/eliminator-test-output.js index cf637cd2..b35a35ee 100644 --- a/tools/eliminator/eliminator-test-output.js +++ b/tools/eliminator/eliminator-test-output.js @@ -176,11 +176,11 @@ function f3($s, $tree, $k) { } function llvm3_1() { while (check()) { + var $inc = $aj_0 + 1; if ($curri_01 % $zj_0 == 0) { break; } - var $j_0 = $aj_0 + 1; - run($j_0 / 2); + run($inc / 2); } } function _inflate($strm, $flush) { |