switch to spaces only..

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

diff --git a/Robust/src/Analysis/Disjoint/HeapRegionNode.java b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
index b960398519e8ff95412f7b645e0fa3dabb3929a2..ed7e101f577551fbc69fdcc195549ad005410467 100644 (file)
--- a/Robust/src/Analysis/Disjoint/HeapRegionNode.java
+++ b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
@@ -197,7 +197,7 @@ public class HeapRegionNode extends RefSrcNode {
           edge.typeEquals(type)     &&
           edge.fieldEquals(field)
           ) {
-       return edge;
+        return edge;
       }
     }
 
@@ -262,11 +262,11 @@ public class HeapRegionNode extends RefSrcNode {
 
       Iterator<ReachTuple> rtItr = state.iterator();
       while( rtItr.hasNext() ) {
-       ReachTuple rt = rtItr.next();
+        ReachTuple rt = rtItr.next();
 
-       if( !rt.isOutOfContext() ) {
-         return false;
-       }
+        if( !rt.isOutOfContext() ) {
+          return false;
+        }
       }
     }