have a debug flag

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 2ec01a630eb17ea5cd3a3775a1e171616182a618..1d6f210c885d9eaf66b5fd11e3ffccc11fe93054 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -393,6 +393,8 @@ public class Main {
         state.SSJAVADEBUG = true;
       } else if (option.equals("-ssjavainfer")) {
         state.SSJAVAINFER= true;
+      } else if (option.equals("-ssjava-infer-naive-writedots")){
+        state.SSJAVA_INFER_NAIVE_WRITEDOTS=true;
       } else if( option.equals( "-ssjava-inject-error" ) ) {
         state.SSJAVA_GENCODE_PREVENT_CRASHES = true;
         state.SSJAVA_INJECT_ERROR   = true;