From 363b6c0442a8c8b210034cb75a785d39ec979d1b Mon Sep 17 00:00:00 2001
From: Ernst Moritz Hahn <emhahn@cs.ox.ac.uk>
Date: Sat, 10 Jan 2015 00:49:10 +0000
Subject: [PATCH] added forgotten deep copy

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

diff --git a/prism/src/param/SymbolicEngine.java b/prism/src/param/SymbolicEngine.java
index 82c22429..a2f14634 100644
--- a/prism/src/param/SymbolicEngine.java
+++ b/prism/src/param/SymbolicEngine.java
@@ -154,7 +154,7 @@ public class SymbolicEngine
 			for (int var = 0; var < varMap.length; var++) {
 				varMap[var] = var;
 			}
-			p = (Expression) p.evaluatePartially(state, varMap);
+			p = (Expression) p.deepCopy().evaluatePartially(state, varMap);
 			list = new ArrayList<Update>();
 			list.add(ups.getUpdate(i));
 			ch.add(p, list);