From: adash <adash>
Date: Wed, 7 Oct 2009 23:37:03 +0000 (+0000)
Subject: add recovery Task file
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8f5ad35d6389d237fee6e7a116d102bedaa92eae;p=IRC.git

add recovery Task file
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 4e90919f..7f6da0f1 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -268,6 +268,8 @@ public class Main {
     if (state.THREAD||state.DSM||state.SINGLETM) {
       sc.getClass("Thread");
     }
+    if(state.DSM)
+      sc.getClass("Task");
 
     sc.semanticCheck();