X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4ba332d836bc04ad37d97dad2e21104073bb8bf5..d75d7500fe0688f5665f4f774ef82c6c65f8415b:/src/surf/surf.c

diff --git a/src/surf/surf.c b/src/surf/surf.c
index cf78bea015..2b5121ab8a 100644
--- a/src/surf/surf.c
+++ b/src/surf/surf.c
@@ -399,6 +399,7 @@ void surf_exit(void)
 #ifdef CONTEXT_THREADS
   xbt_parmap_destroy(surf_parmap);
   xbt_free(surf_mins);
+  surf_mins = NULL;
 #endif
 
   xbt_dynar_free(&surf_path);