add recovery Task file

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 4e90919f2c07e745ed03697b1c2fe6ae08897b9c..7f6da0f1d41adc8a4e87745ce89617c147cfe440 100644 (file)
--- 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();