Result popups in GUI for simulations too.

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

prism/src/userinterface/properties/computation/SimulateModelCheckThread.java

@@ -210,6 +210,7 @@ public class SimulateModelCheckThread extends GUIComputationThread
 				parent.stopProgress();
 				parent.setTaskBarText("Checking properties using simulation... done.");
 				parent.notifyEventListeners(new GUIComputationEvent(GUIComputationEvent.COMPUTATION_DONE, parent));
+				parent.notifyEventListeners(new GUIPropertiesEvent(GUIPropertiesEvent.VERIFY_END));
 			}
 		});
 	}