X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/498e825a9b558b54beb2addac08e873f7911f677..9a057bbb0fbb09e9f426ce2466a29e3015b49789:/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);