diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index 05639541..13b9da57 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/prism/src/simulator/SimulatorEngine.java @@ -482,7 +482,7 @@ public class SimulatorEngine extends PrismComponent { updater.calculateTransitions(state, transitionList); transitionListBuilt = true; - transitionListState = null; + transitionListState = state; } // ------------------------------------------------------------------------------