diff options
Diffstat (limited to 'js/Misc/AUTOMAT.js')
-rw-r--r-- | js/Misc/AUTOMAT.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/Misc/AUTOMAT.js b/js/Misc/AUTOMAT.js index 42d505f6..c2f59ffb 100644 --- a/js/Misc/AUTOMAT.js +++ b/js/Misc/AUTOMAT.js @@ -25,6 +25,7 @@ function AUTOMAT() { model.rpar = rpar; gr_i = []; this.x = standard_define([4,2],model,exprs,gr_i); + return new BasicBlock(this.x); } AUTOMAT.prototype.details = function AUTOMAT() { return this.x; @@ -131,5 +132,6 @@ function AUTOMAT() { break; } } + return new BasicBlock(this.x); } } |