Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...

[IRC.git] / Robust / src / Analysis / Pointer / Util.java

diff --git a/Robust/src/Analysis/Pointer/Util.java b/Robust/src/Analysis/Pointer/Util.java
index c7bd09fbdc79e7a8a434b5cfe3b180fa59ac84cb..0fe00b93b10ff9336b176fe6b47eda3fc423147c 100644 (file)
--- a/Robust/src/Analysis/Pointer/Util.java
+++ b/Robust/src/Analysis/Pointer/Util.java
@@ -6,7 +6,7 @@ import java.util.Set;
 public class Util {
   public static <T> MySet<T> setSubtract(Set <T> orig, Set<T> sub) {
     MySet<T> newset=new MySet<T>();
-    for(T e: orig) {
+    for(T e : orig) {
       if (!sub.contains(e))
        newset.add(e);
     }
@@ -20,7 +20,7 @@ public class Util {
       map.get(key).addAll(toadd);
     } else {
       if (toadd!=null)
-       map.put(key, (MySet<V>) toadd.clone());
+       map.put(key, (MySet<V>)toadd.clone());
     }
   }