X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/05c1f36a7de4ea6a2f757b0e48de8231d3a49c30..a81843f57af4c4d5b2bebd98d6a32a503f6d467d:/src/surf/surf.c

diff --git a/src/surf/surf.c b/src/surf/surf.c
index fbd51c2015..8d001f7be6 100644
--- a/src/surf/surf.c
+++ b/src/surf/surf.c
@@ -488,7 +488,7 @@ void surf_exit(void)
   xbt_free(surf_mins);
   surf_mins = NULL;
 #endif
-  if(host_that_restart)xbt_dynar_free(&host_that_restart);
+  xbt_dynar_free(&host_that_restart);
   xbt_dynar_free(&surf_path);
 
   xbt_lib_free(&host_lib);