changes.

[IRC.git] / Robust / src / Analysis / Scheduling / ObjectSimulator.java

diff --git a/Robust/src/Analysis/Scheduling/ObjectSimulator.java b/Robust/src/Analysis/Scheduling/ObjectSimulator.java
index 69421a4fe82b1abf5e67f5e47f5ec6e9a5bcacab..cdb9d3396180b0e430cda3c91387dddb1b6d8f6e 100644 (file)
--- a/Robust/src/Analysis/Scheduling/ObjectSimulator.java
+++ b/Robust/src/Analysis/Scheduling/ObjectSimulator.java
@@ -40,12 +40,12 @@ public class ObjectSimulator {
       this.changed = true;
       currentFS = (FlagState)fedge.getTarget();
       if(this.counter > 0) {
-       //System.err.println(this.counter);
-       this.counter--;
+        //System.err.println(this.counter);
+        this.counter--;
       }
       if((this.cd.getSymbol().equals("Cluster")) && (this.counter == 0)) {
-       // go to end state
-       this.currentFS = new FlagState(this.cd);
+        // go to end state
+        this.currentFS = new FlagState(this.cd);
       }
     } else {
       this.changed = false;