From 39bcc3816f439c1bcc02b2c4d89262166e06dcca Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 09:48:11 +0000
Subject: [PATCH] last bug

---
 Robust/src/IR/Tree/SemanticCheck.java | 1 +
 1 file changed, 1 insertion(+)

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