From bb2dac790bb1f0f261e06d8ed0c9100a102003fb Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:25:43 +0200
Subject: [PATCH] imported patch FIX-temporal-bound-printing.patch

---
 prism/src/parser/ast/ExpressionTemporal.java | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/prism/src/parser/ast/ExpressionTemporal.java b/prism/src/parser/ast/ExpressionTemporal.java
index 28a8ea89..3c217ce2 100644
--- a/prism/src/parser/ast/ExpressionTemporal.java
+++ b/prism/src/parser/ast/ExpressionTemporal.java
@@ -223,14 +223,7 @@ public class ExpressionTemporal extends Expression
 			s += operand1 + " ";
 		s += opSymbols[op];
 
-		if (op == R_I && bounds.hasDefaultBound()) {
-			TemporalOperatorBound bound = bounds.getDefaultBound();
-			if (!bound.hasLowerBound() && bound.hasUpperBound()) {
-				s += "<" + (bound.upperBoundIsStrict() ? "" : "=") + bound.getUpperBound();
-			} else {
-				s+=bound.toString();
-			}
-		} else if (bounds.hasBounds()) {
+		if (bounds.hasBounds()) {
 			s+=bounds.toString();
 		}
 		if (operand2 != null)