From bb89b5397d199bde9aebb61ad2cd3e26196c0607 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 24 Jan 2012 16:27:56 +0100
Subject: [PATCH] Reinitialize pointer after free.

Fixes test tesh-simdag-reinit-costs.
---
 src/surf/surf.c | 1 +
 1 file changed, 1 insertion(+)

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);
-- 
2.20.1