diff --git a/src/backend/concrete_simulation.cc b/src/backend/concrete_simulation.cc index 665b989..8ae3847 100644 --- a/src/backend/concrete_simulation.cc +++ b/src/backend/concrete_simulation.cc @@ -64,7 +64,7 @@ ConcreteSimulation::jump_to(History::position p) throw(UserInterruptException, N // pauses the simulation (see below) break; case state_stopped: - _history.reset(true); + _history.step_front(0); break; default: break; @@ -126,7 +126,7 @@ ConcreteSimulation::run() throw(UserInterruptException, NullPolicyException, Mal switch (_state) { case state_stopped: - _history.reset(true); + _history.step_front(0); break; default: break;