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

@@ -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