diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index 2d716945..3cf0f772 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/prism/src/simulator/SimulatorEngine.java @@ -1091,7 +1091,7 @@ public class SimulatorEngine for (j = 0; j < varsNum; j++) { if (getPathData(varsIndices[j], i) != getPathData(varsIndices[j], i-1)) changed = true; } - if (!changed) continue; + if (!changed) { d = (i