changes

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 1450b9750ca8bcd085e3ebf4d3c1458e36d72239..db364b584dca6e2257c404ad8a09332a4679a65e 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -213,7 +213,7 @@ public class Main {
     if (state.TASK) {
       sc.getClass("TagDescriptor");
     }
-    if (state.THREAD) {
+    if (state.THREAD||state.DSM) {
        sc.getClass("Thread");
     }