Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
no need to protect surf_mins by ifdef, allocated whatever the factory
[simgrid.git] / src / surf / surf.cpp
index b8f653e..bffcc42 100644 (file)
@@ -394,9 +394,11 @@ void surf_exit(void)
 
 #ifdef CONTEXT_THREADS
   xbt_parmap_destroy(surf_parmap);
+#endif
+
   xbt_free(surf_mins);
   surf_mins = NULL;
-#endif
+
   xbt_dynar_free(&host_that_restart);
   xbt_dynar_free(&surf_path);