From: bdemsky <bdemsky>
Date: Fri, 27 Feb 2009 06:19:22 +0000 (+0000)
Subject: changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=38ee1c44d5ac179d072584e0317c117c71a95556;p=IRC.git

changes
---

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");
     }