From cbfd553ddb8000e748a3e099e15af51c9d186ad3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Sun, 20 Jun 2021 19:05:48 +0200
Subject: [PATCH] fix DigitalClock manipulation

---
 prism/src/pta/DigitalClocks.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/pta/DigitalClocks.java b/prism/src/pta/DigitalClocks.java
index 6ffd2ce2..69149f14 100644
--- a/prism/src/pta/DigitalClocks.java
+++ b/prism/src/pta/DigitalClocks.java
@@ -383,7 +383,8 @@ public class DigitalClocks
 				public Object visit(ExpressionTemporal e) throws PrismLangException
 				{
 					// Push (new) time bound into target
-					e.getBounds().getTimeBoundForContinuousTime().setUpperBound(null);
+					// TODO (joachim): make more robust
+					e.getBounds().bounds.remove(e.getBounds().getTimeBoundForContinuousTime());
 					Expression targetNew = Expression.And(e.getOperand2().deepCopy(), boundNew);
 					e.setOperand2(targetNew);
 					return e;