diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-10 16:03:28 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-10 16:03:28 -0800 |
commit | 0f3d82b846fb70835a059542405e849a59fa2e0a (patch) | |
tree | 42b0d5acfd5ce116ddf8595e2f299ab7c7788ded /js | |
parent | a6b67959d4dbe1161ac38684258ac409ed4ead01 (diff) |
Removed an unnecessary variable from cloneUnmatchedBlocks.
Diffstat (limited to 'js')
-rw-r--r-- | js/lib/blocks.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/js/lib/blocks.js b/js/lib/blocks.js index e2b4033..05de246 100644 --- a/js/lib/blocks.js +++ b/js/lib/blocks.js @@ -350,13 +350,11 @@ var incorporateLine = function(ln, line_number) { // want to close unmatched blocks. So we store this closure for // use later, when we have more information. var closeUnmatchedBlocks = function(mythis) { - var already_done = false; // finalize any blocks not matched - while (!already_done && oldtip !== last_matched_container) { + while (oldtip !== last_matched_container) { mythis.finalize(oldtip, line_number - 1); oldtip = oldtip.parent; } - already_done = true; }; // Check to see if we've hit 2nd blank line; if so break out of list: |