From: suter <frederic.suter@cc.in2p3.fr>
Date: Thu, 28 Nov 2013 15:24:53 +0000 (+0100)
Subject: no need to protect surf_mins by ifdef, allocated whatever the factory
X-Git-Tag: v3_11_beta~212
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d8a5b514344c5163ba3eb24efdf347e1af4d0af0

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