switch to spaces only..

[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 0fe00b93b10ff9336b176fe6b47eda3fc423147c..cef2485e68c525b142c7542204b67d03da90da48 100644 (file)
--- a/Robust/src/Analysis/Pointer/Util.java
+++ b/Robust/src/Analysis/Pointer/Util.java
@@ -8,7 +8,7 @@ public class Util {
     MySet<T> newset=new MySet<T>();
     for(T e : orig) {
       if (!sub.contains(e))
-       newset.add(e);
+        newset.add(e);
     }
     return newset;
   }
@@ -16,11 +16,11 @@ public class Util {
   public static <K,V> void relationUpdate(HashMap<K,MySet<V>> map, K key, MySet<V> toremove, MySet<V> toadd) {
     if (map.containsKey(key)) {
       if (toremove!=null)
-       map.get(key).removeAll(toremove);
+        map.get(key).removeAll(toremove);
       map.get(key).addAll(toadd);
     } else {
       if (toadd!=null)
-       map.put(key, (MySet<V>)toadd.clone());
+        map.put(key, (MySet<V>)toadd.clone());
     }
   }