From 911268e6ea71dcb9530e1f8b0874d43108b42845 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 20 Jul 2010 11:24:08 +0000
Subject: [PATCH] Simulator bug (overwrite old states when backtracking).

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

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 1a80f0e5..97e43d00 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -362,7 +362,7 @@ public class SimulatorEngine
 			previousState.clear();
 		else
 			previousState.copy(path.getPreviousState());
-		currentState = path.getCurrentState();
+		currentState.copy(path.getCurrentState());
 		// Recompute samplers for any loaded properties
 		recomputeSamplers();
 		// Generate updates for new current state