From 816e221a714f143f82f074040658427a18c19f6c Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Thu, 8 Oct 2009 23:28:54 +0000
Subject: [PATCH] state.DSMTASK flag is added

---
 Robust/src/Main/Main.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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();
 
-- 
2.34.1