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;