Make simix_timers NULL so can SIMIX_init works if called again later

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index c575ee4..2c5a835 100644 (file)
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -135,6 +135,7 @@ void SIMIX_clean(void)
   SIMIX_network_exit();
 
   xbt_heap_free(simix_timers);
   SIMIX_network_exit();
 
   xbt_heap_free(simix_timers);

+  simix_timers = NULL;

   /* Free the remaining data structures */
   xbt_dynar_free(&simix_global->process_to_run);
   xbt_dynar_free(&simix_global->process_that_ran);
   /* Free the remaining data structures */
   xbt_dynar_free(&simix_global->process_to_run);
   xbt_dynar_free(&simix_global->process_that_ran);