From e8740e195034beefdb10dd291e2c0d2d15703c1a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 30 Jun 2010 20:37:01 +0000
Subject: [PATCH] Fixes, tidies in simulator.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1964 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 001894e3..0e5b9adb 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -413,7 +413,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				engine.computeTransitionsForCurrentState();
 			}
 
-			engine.automaticTransitions(noSteps, displayPathLoops);
+			// TODO engine.automaticTransitions(noSteps, displayPathLoops);
+			engine.automaticTransitions(noSteps);
 
 			pathTableModel.updatePathTable();
 			updateTableModel.updateUpdatesTable();
@@ -459,7 +460,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				engine.computeTransitionsForCurrentState();
 			}
 
-			engine.automaticTransitions(time, displayPathLoops);
+			// TODO engine.automaticTransitions(time, displayPathLoops);
+			engine.automaticTransitions(time);
 
 			pathTableModel.updatePathTable();
 			updateTableModel.updateUpdatesTable();