From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 09:48:11 +0000 (+0000)
Subject: last bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=39bcc3816f439c1bcc02b2c4d89262166e06dcca;p=IRC.git

last bug
---

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index ceef3bce..f813abd8 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -63,6 +63,7 @@ public class SemanticCheck {
     while(!toanalyze.isEmpty()) {
       Object obj=toanalyze.iterator().next();
       if (obj instanceof TaskDescriptor) {
+	toanalyze.remove(obj);
 	checkTask((TaskDescriptor)obj);
       } else {
 	ClassDescriptor cd=(ClassDescriptor)obj;