From 4fb0e557d95e02c978fde62be75993637e985c8d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 21 Aug 2012 22:03:40 +0000
Subject: [PATCH] More general fix replacing recent bugfix (rev 5568) for
 digital clocks timelocks from GUI.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5588 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 5bdd245f..f5f8c4a9 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2351,10 +2351,6 @@ public class Prism implements PrismSettingsListener
 		// Build model, if necessary
 		buildModelIfRequired();
 		
-		//Even if model is already built we need to check for timelocks.
-		if(digital) 
-			doBuildModelDigitalClocksChecks();
-
 		// Create new model checker object and do model checking
 		if (!getExplicit()) {
 			ModelChecker mc = StateModelChecker.createModelChecker(currentModelType, this, currentModel, propertiesFile);
@@ -2393,6 +2389,8 @@ public class Prism implements PrismSettingsListener
 				currentModulesFile = dc.getNewModulesFile();
 				currentModulesFile.setUndefinedConstants(oldModulesFile.getConstantValues());
 				currentModelType = ModelType.MDP;
+				currentModel = null;
+				currentModelExpl = null;
 				// If required, export generated PRISM model
 				if (exportDigital) {
 					try {
@@ -2410,6 +2408,8 @@ public class Prism implements PrismSettingsListener
 				digital = false;
 				currentModulesFile = oldModulesFile;
 				currentModelType = ModelType.PTA;
+				currentModel = null;
+				currentModelExpl = null;
 			}
 		}
 		// Other methods