From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 09:07:21 +0000 (+0000)
Subject: bug fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=167486e9d21a0900032c07aab199a4c6fbb4b2ab;p=IRC.git

bug fixes
---

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