diff options
Diffstat (limited to 'js/Misc/AUTOMAT.js')
| -rw-r--r-- | js/Misc/AUTOMAT.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/Misc/AUTOMAT.js b/js/Misc/AUTOMAT.js index 77e8c8ef..cc529bd8 100644 --- a/js/Misc/AUTOMAT.js +++ b/js/Misc/AUTOMAT.js @@ -140,4 +140,5 @@ function AUTOMAT() { AUTOMAT.prototype.get_popup_title = function AUTOMAT() { return; } + AUTOMAT.prototype.getContainer = function AUTOMAT() { return new BasicBlock(this.x); } } |