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