Small refactor in SimulatorEngine.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10939 bbc10eb1-c90d-0410-af57-cb519fbb1720

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;
 	}