From 8f5ad35d6389d237fee6e7a116d102bedaa92eae Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Wed, 7 Oct 2009 23:37:03 +0000
Subject: [PATCH] add recovery Task file

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

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