Reinitialize pointer after free.

Fixes test tesh-simdag-reinit-costs.

diff --git a/src/surf/surf.c b/src/surf/surf.c
index cf78bea..2b5121a 100644 (file)
--- 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);