Thread support

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index cc7d396f5bcf270b50593257dc4f1e3410dc1651..50b1ffecda185bb44ed8dbcc39ac5c5fd6de54f8 100644 (file)
--- 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();