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 c9ab0aa1538fce490dc2f8ff02248439d454b63b..ae875777acf78d4982b2eebe9dd31353dad79a0d 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaLattice.java
+++ b/Robust/src/Analysis/SSJava/SSJavaLattice.java
@@ -325,7 +325,7 @@ public class SSJavaLattice<T> extends Lattice<T> {
     Set<T> connectedSet = get(higher);
     if (connectedSet == null) {
       connectedSet = new HashSet<T>();
-    }else{
+    } else {
       connectedSet.removeAll(lowerSet);
     }
     connectedSet.add(newLoc);
@@ -336,6 +336,8 @@ public class SSJavaLattice<T> extends Lattice<T> {
     }
   }
 
+ 
+
   public SSJavaLattice<T> clone() {
 
     SSJavaLattice<T> clone = new SSJavaLattice<T>(getTopItem(), getBottomItem());