Some more fixes for the communication optimization.

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

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index d4c4ad6981b6d112672498d91d2bc1583bb4995f..dfcf0bac9ff291e0711ddca5e9e017db40d3cca1 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -302,6 +302,9 @@ void SIMIX_clean()
 
   xbt_os_mutex_destroy(simix_global->mutex);
   simix_global->mutex = nullptr;
 
   xbt_os_mutex_destroy(simix_global->mutex);
   simix_global->mutex = nullptr;

+#if HAVE_MC
+  xbt_dynar_free(&simix_global->actors_vector);
+#endif

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