changes.

[IRC.git] / Robust / src / Analysis / SSJava / SSJavaLattice.java

diff --git a/Robust/src/Analysis/SSJava/SSJavaLattice.java b/Robust/src/Analysis/SSJava/SSJavaLattice.java
index 9fd25957bacf29f25d40c2af084d8cc13936ef74..c7b89709142052a64b51db96a750558a38ca59eb 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaLattice.java
+++ b/Robust/src/Analysis/SSJava/SSJavaLattice.java
@@ -111,8 +111,9 @@ public class SSJavaLattice<T> extends Lattice<T> {
           removeSet.add(cur);
         }
       }
+
       if (!removeSet.isEmpty()) {
-        // remove relations of locationElement -> cycle
+        // // remove relations of locationElement -> cycle
         connectedSet.removeAll(removeSet);
         // add a new relation of location Element -> shared loc
         connectedSet.add(newLoc);