1 files changed, 4 insertions, 0 deletions
diff --git a/js/Misc/AUTOMAT.js b/js/Misc/AUTOMAT.js
index 0125a535..2603b806 100644
--- a/js/Misc/AUTOMAT.js
+++ b/js/Misc/AUTOMAT.js
@@ -137,4 +137,8 @@ function AUTOMAT() {
         }
         return new BasicBlock(this.x);
     }
+    AUTOMAT.prototype.get_popup_title = function AUTOMAT() {
+        var set_param_popup_title = "Set parameters";
+        return set_param_popup_title;
+    }
 }