Test is useless here.

diff --git a/src/surf/surf.c b/src/surf/surf.c
index fbd51c2..8d001f7 100644 (file)
--- 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);