From da9ca7124cdccc15498fd1a83a3ab2f317f3b7ca Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Oct 2010 20:35:52 +0000
Subject: [PATCH] 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 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/simulator/GenerateSimulationPath.java b/prism/src/simulator/GenerateSimulationPath.java
index cdd65778..7291235b 100644
--- a/prism/src/simulator/GenerateSimulationPath.java
+++ b/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