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 */