From d66142cf2d54586ad1ba4827e6830436f5e022de Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Tue, 14 Aug 2012 14:35:00 +0000
Subject: [PATCH] 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 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 3064a77e..dea001cd 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2350,6 +2350,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()) {