From 93d6f545ef44c8a8c180b50137110b0acc5b056b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 22 Feb 2009 20:54:12 +0000
Subject: [PATCH] Thread support

---
 Robust/src/Main/Main.java | 3 +++
 1 file changed, 3 insertions(+)

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();
 
-- 
2.34.1