From d8a5b514344c5163ba3eb24efdf347e1af4d0af0 Mon Sep 17 00:00:00 2001
From: suter <frederic.suter@cc.in2p3.fr>
Date: Thu, 28 Nov 2013 16:24:53 +0100
Subject: [PATCH 1/1] no need to protect surf_mins by ifdef, allocated whatever
 the factory

---
 src/surf/surf.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/surf/surf.cpp b/src/surf/surf.cpp
index b8f653ee23..bffcc4277b 100644
--- 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);
 
-- 
2.20.1