From 38ee1c44d5ac179d072584e0317c117c71a95556 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 27 Feb 2009 06:19:22 +0000
Subject: [PATCH] changes

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

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 1450b975..db364b58 100644
--- 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");
     }
 
-- 
2.34.1