switch to spaces only..

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

diff --git a/Robust/src/Analysis/Disjoint/StateMachineForEffects.java b/Robust/src/Analysis/Disjoint/StateMachineForEffects.java
index 780f1275496814ba8915f952ef8dc41fe9d605a0..fea9044a87eef8983b7ddd3e0b39e3305e7a2fb7 100644 (file)
--- a/Robust/src/Analysis/Disjoint/StateMachineForEffects.java
+++ b/Robust/src/Analysis/Disjoint/StateMachineForEffects.java
@@ -64,7 +64,7 @@ public class StateMachineForEffects {
     for(FlatNode fn : fn2state.keySet()) {
       SMFEState state=fn2state.get(fn);
       if (!state.getConflicts().isEmpty())
-       return false;
+        return false;
     }
     return true;
   }
@@ -143,8 +143,8 @@ public class StateMachineForEffects {
 
       Iterator<FlatNode> fnItr = fn2state.keySet().iterator();
       while( fnItr.hasNext() ) {
-       SMFEState state = fn2state.get(fnItr.next() );
-       bw.write(state.toStringDOT()+"\n");
+        SMFEState state = fn2state.get(fnItr.next() );
+        bw.write(state.toStringDOT()+"\n");
       }
 
       bw.write("}\n");