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

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

diff --git a/prism/src/parser/ast/ExpressionTemporal.java b/prism/src/parser/ast/ExpressionTemporal.java
index 3c217ce2..a4459346 100644
--- a/prism/src/parser/ast/ExpressionTemporal.java
+++ b/prism/src/parser/ast/ExpressionTemporal.java
@@ -109,6 +109,15 @@ public class ExpressionTemporal extends Expression
 		bounds = exprTemp.getBounds();
 	}
 
+	/**
+	 * Take the bounds information from the other ExpressionTemporal
+	 * and store a copy in this ExpressionTemporal.
+	 */
+	public void copyBoundsFrom(ExpressionTemporal exprTemp)
+	{
+		bounds = exprTemp.getBounds().deepCopy();
+	}
+
 	// Get methods
 
 	/** Set the operator */