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