src/simulator/default-simulator-impl.cc
changeset 4057 a68a42e667f6
parent 4009 76cb8ed8fe98
child 4085 31945ecb17e2
--- a/src/simulator/default-simulator-impl.cc	Fri Jan 09 08:34:08 2009 +0100
+++ b/src/simulator/default-simulator-impl.cc	Fri Jan 09 08:54:32 2009 +0100
@@ -144,7 +144,7 @@
 void
 DefaultSimulatorImpl::Run (void)
 {
-
+  m_stop = false;
   while (!m_events->IsEmpty () && !m_stop) 
     {
       ProcessOneEvent ();