From: jihoonl <jihoonl>
Date: Thu, 8 Oct 2009 23:28:54 +0000 (+0000)
Subject: state.DSMTASK flag is added
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=816e221a714f143f82f074040658427a18c19f6c;p=IRC.git

state.DSMTASK flag is added
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 49da3bdf..aca40137 100644
--- 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();