diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 95a3217d..8fe84f9d 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -927,8 +927,7 @@ public class SimulatorEngine extends PrismComponent
 	{
 		// Compute the current transition list, if required
 		if (!transitionListBuilt) {
-			updater.calculateTransitions(currentState, transitionList);
-			transitionListBuilt = true;
+			computeTransitionsForCurrentState();
 		}
 		return transitionList;
 	}