From e83af191119a31b7189238e4b2bfa2ffa814f877 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 28 Apr 2008 10:52:00 +0000
Subject: [PATCH] Bug fix: model reload in GUI does not refresh model build.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@772 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/model/GUIMultiModelHandler.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/userinterface/model/GUIMultiModelHandler.java b/prism/src/userinterface/model/GUIMultiModelHandler.java
index 627cd8a3..c0fdf143 100644
--- a/prism/src/userinterface/model/GUIMultiModelHandler.java
+++ b/prism/src/userinterface/model/GUIMultiModelHandler.java
@@ -572,6 +572,8 @@ public class GUIMultiModelHandler extends JPanel
         modified =false;
         parsedModel = null;
         modifiedSinceParse = false;
+        setBuiltModel(null,null);
+        modifiedSinceBuild = false;
         currentMode = PRISM_MODE;
         checkSwitchAutoParse();
         if(!parsing)
@@ -598,6 +600,8 @@ public class GUIMultiModelHandler extends JPanel
         modified =false;
         parsedModel = null;
         modifiedSinceParse = false;
+        setBuiltModel(null,null);
+        modifiedSinceBuild = false;
         currentMode = PEPA_MODE;
         checkSwitchAutoParse();
         if(!parsing)
@@ -624,6 +628,8 @@ public class GUIMultiModelHandler extends JPanel
         modified = false;
         parsedModel = null;
         modifiedSinceParse =false;
+        setBuiltModel(null,null);
+        modifiedSinceBuild = false;
         currentMode = GRAPHIC_MODE;
         checkSwitchAutoParse();
         if(!parsing)