From e674ca94e68ada846315705073cb894c9990e050 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 19 Mar 2008 13:11:33 +0000
Subject: [PATCH] Result popups in GUI for simulations too.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@695 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .../properties/computation/SimulateModelCheckThread.java         | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java b/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java
index 71aafaf0..c71de9bf 100644
--- a/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java
+++ b/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));
 			}
 		});
 	}