diff options
Diffstat (limited to 'js/Misc/Extract_Activation.js')
-rw-r--r-- | js/Misc/Extract_Activation.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/js/Misc/Extract_Activation.js b/js/Misc/Extract_Activation.js index e42bbd03..878cc276 100644 --- a/js/Misc/Extract_Activation.js +++ b/js/Misc/Extract_Activation.js @@ -90,9 +90,7 @@ function Extract_Activation() { return this.x; } Extract_Activation.prototype.get = function Extract_Activation() { - var options = { - } - return options; + alert("parameters cannot be modified"); } Extract_Activation.prototype.set = function Extract_Activation() { return new BasicBlock(this.x); |