switch to spaces only..

[IRC.git] / Robust / src / Analysis / Disjoint / TaintSet.java

diff --git a/Robust/src/Analysis/Disjoint/TaintSet.java b/Robust/src/Analysis/Disjoint/TaintSet.java
index 632987b5ce0c5b25f4b4cf2ce0aa1ec1ea9ef388..bcbc883ba28beb7103baaa024a27aecbb5351958 100644 (file)
--- a/Robust/src/Analysis/Disjoint/TaintSet.java
+++ b/Robust/src/Analysis/Disjoint/TaintSet.java
@@ -42,7 +42,7 @@ public class TaintSet extends Canonical {
     HashSet<Taint> taintset=new HashSet<Taint>();
     for(Taint t : taints) {
       if (t.getWhereDefined()!=fn) {
-       t=t.reTaint(fn);
+        t=t.reTaint(fn);
       }
       taintset.add(t);
     }
@@ -133,7 +133,7 @@ public class TaintSet extends Canonical {
     while( tItr.hasNext() ) {
       Taint tThis = tItr.next();
       if( tThis.equalsIgnorePreds(t) ) {
-       return tThis;
+        return tThis;
       }
     }
 
@@ -166,7 +166,7 @@ public class TaintSet extends Canonical {
 
       s += t.toString();
       if( tItr.hasNext() ) {
-       s += ",\\n";
+        s += ",\\n";
       }
     }
     s += "]";