diff options
Diffstat (limited to 'js/Branching/EXTRACTOR.js')
-rw-r--r-- | js/Branching/EXTRACTOR.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/Branching/EXTRACTOR.js b/js/Branching/EXTRACTOR.js index ed4a336f..7df96459 100644 --- a/js/Branching/EXTRACTOR.js +++ b/js/Branching/EXTRACTOR.js @@ -12,6 +12,7 @@ function EXTRACTOR() { exprs = [sci2exp(ind)]; gr_i = []; this.x = standard_define([3,2],model,exprs,gr_i); + return new BasicBlock(this.x); } EXTRACTOR.prototype.details = function EXTRACTOR() { return this.x; @@ -39,5 +40,6 @@ function EXTRACTOR() { break; } } + return new BasicBlock(this.x); } } |