diff options
Diffstat (limited to 'js/Branching/EXTRACTOR.js')
| -rw-r--r-- | js/Branching/EXTRACTOR.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/Branching/EXTRACTOR.js b/js/Branching/EXTRACTOR.js index de2d1105..9f195782 100644 --- a/js/Branching/EXTRACTOR.js +++ b/js/Branching/EXTRACTOR.js @@ -28,6 +28,7 @@ function EXTRACTOR() { while (true) { var ok = true; this.ind = parseFloat(arguments[0]["ind"]); + var exprs = [arguments[0]["ind"]]; if (!ok) { break; } |