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();