From 167486e9d21a0900032c07aab199a4c6fbb4b2ab Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 09:07:21 +0000
Subject: [PATCH] bug fixes

---
 Robust/src/IR/TagVarDescriptor.java | 1 -
 Robust/src/Main/Main.java           | 4 ++++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/TagVarDescriptor.java b/Robust/src/IR/TagVarDescriptor.java
index f076b3c1..4cca52da 100644
--- a/Robust/src/IR/TagVarDescriptor.java
+++ b/Robust/src/IR/TagVarDescriptor.java
@@ -17,7 +17,6 @@ public class TagVarDescriptor extends Descriptor {
     this.identifier=identifier;
     this.safename = "___" + name + "___";
     this.uniqueid=count++;
-    throw new Error();
   }
 
   public String getName() {
diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index ff46a238..82c56168 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -194,6 +194,7 @@ public class Main {
     
 
     SemanticCheck sc=new SemanticCheck(state,tu);
+
     for(int i=0;i<sourcefiles.size();i++)
       sc.getClass((String)sourcefiles.get(i));
 
@@ -205,6 +206,9 @@ public class Main {
     sc.getClass("ServerSocket");
     sc.getClass("FileInputStream");
     sc.getClass("FileOutputStream");
+    if (state.TASK) {
+      sc.getClass("TagDescriptor");
+    }
 
     sc.semanticCheck();
 
-- 
2.34.1