From d7c1ff751a2c007c42b33735d676f8136878fec0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 9 Apr 2009 08:20:51 +0000
Subject: [PATCH] fix bugs

---
 Robust/src/Analysis/Loops/LoopInvariant.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/Loops/LoopInvariant.java b/Robust/src/Analysis/Loops/LoopInvariant.java
index 3dfef6b8..baa5c552 100644
--- a/Robust/src/Analysis/Loops/LoopInvariant.java
+++ b/Robust/src/Analysis/Loops/LoopInvariant.java
@@ -147,7 +147,8 @@ public class LoopInvariant {
 	  continue nextfn;
 	}
 	//mark to hoist
-	hoisted.add(fn);
+	if (hoisted.add(fn))
+	    changed=true;
 	table.get(entrance).add(fn);
       }
     }
-- 
2.34.1