Fixed bug with not finding timelocks in Digital Clocks.

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

prism/src/prism/Prism.java

@@ -2351,6 +2351,10 @@ 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);