no need to protect surf_mins by ifdef, allocated whatever the factory

diff --git a/src/surf/surf.cpp b/src/surf/surf.cpp
index b8f653e..bffcc42 100644 (file)
--- a/src/surf/surf.cpp
+++ b/src/surf/surf.cpp
@@ -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);