From 31336f44dbe04cb90d00212f466eff09018463ce Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 11 Apr 2008 11:00:47 +0000
Subject: [PATCH] Bug fix: deepCopy() in ExpressionTemporal.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@737 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/ExpressionTemporal.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/ExpressionTemporal.java b/prism/src/parser/ast/ExpressionTemporal.java
index 693d2145..f1283176 100644
--- a/prism/src/parser/ast/ExpressionTemporal.java
+++ b/prism/src/parser/ast/ExpressionTemporal.java
@@ -212,7 +212,7 @@ public class ExpressionTemporal extends Expression
 		ExpressionTemporal expr = new ExpressionTemporal();
 		expr.setOperator(op);
 		if (operand1 != null) expr.setOperand1(operand1.deepCopy());
-		if (operand2 != null) expr.setOperand2(operand1.deepCopy());
+		if (operand2 != null) expr.setOperand2(operand2.deepCopy());
 		expr.setType(type);
 		expr.setPosition(this);
 		return expr;