diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 0e2fdef2..4fa490d0 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -136,6 +136,10 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 					a_manualUpdate();
 					currentUpdatesTable.requestFocus();
 				}
+				else if (e.getClickCount() == 2 && !currentUpdatesTable.isEnabled())
+				{
+					GUISimulator.this.warning("Simulation", "You cannot continue exploration from the state that is current selected, please select \nthe most recently explored state in the path table first.");
+				}
 			}
 		});