state.DSMTASK flag is added

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 49da3bdfc6a33bb07ed59cc74eecd1fbd9f3b216..aca4013747b6a5632ad419d33b0d27fad7b78813 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -173,6 +173,8 @@ public class Main {
        state.THREAD=true;
       else if (option.equals("-dsm"))
        state.DSM=true;
+      else if (option.equals("-dsmtask"))
+  state.DSMTASK=true;
       else if (option.equals("-singleTM"))
        state.SINGLETM=true;
       else if (option.equals("-readset"))
@@ -272,8 +274,6 @@ public class Main {
     if (state.THREAD||state.DSM||state.SINGLETM) {
       sc.getClass("Thread");
     }
-    if(state.DSM)
-      sc.getClass("Task");
 
     sc.semanticCheck();