Small tidy in simpath generation.

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

prism/src/simulator/GenerateSimulationPath.java

@@ -226,7 +226,8 @@ public class GenerateSimulationPath
 			done = false;
 			while (!done) {
 				// generate a single step of path
-				engine.automaticTransitions(1, simLoopCheck);
+				// (no need to do any loop detection: this is done below)
+				engine.automaticTransition();
 				if (stochastic)
 					t += engine.getTimeSpentInPathStep(i++);
 				else