From: bdemsky <bdemsky>
Date: Sun, 22 Feb 2009 20:54:12 +0000 (+0000)
Subject: Thread support
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=93d6f545ef44c8a8c180b50137110b0acc5b056b;p=IRC.git

Thread support
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index cc7d396f..50b1ffec 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -206,6 +206,9 @@ public class Main {
     if (state.TASK) {
       sc.getClass("TagDescriptor");
     }
+    if (state.THREAD) {
+	sc.getClass("Thread");
+    }
 
     sc.semanticCheck();