From 8d03057f8f9b49fce206f393ab937db0ba8a0846 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 14 Jul 2019 23:30:25 +0100
Subject: [PATCH] Property.deepCopy bug fix (affecting PropertiesFile.deepCopy
 too).

---
 prism/src/parser/ast/Property.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 454c1f51..477c6a8c 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -587,7 +587,7 @@ public class Property extends ASTElement
 	@Override
 	public Property deepCopy()
 	{
-		Property prop = new Property(expr, name, comment);
+		Property prop = new Property(expr.deepCopy(), name, comment);
 		prop.setType(type);
 		prop.setPosition(this);
 		return prop;