delete Timer when shutting down EngineImpl

[simgrid.git] / src / simix / smx_global.cpp

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index d490945..5831192 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -236,10 +236,6 @@ void SIMIX_clean()
   /* Exit the SIMIX network module */
   SIMIX_mailbox_exit();
 
   /* Exit the SIMIX network module */
   SIMIX_mailbox_exit();
 

-  while (not simgrid::kernel::timer::kernel_timers().empty()) {
-    delete simgrid::kernel::timer::kernel_timers().top().second;
-    simgrid::kernel::timer::kernel_timers().pop();
-  }

 
   /* Let's free maestro now */
   delete simix_global->maestro_;
 
   /* Let's free maestro now */
   delete simix_global->maestro_;