From 05c1f36a7de4ea6a2f757b0e48de8231d3a49c30 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Fri, 20 Sep 2013 15:27:28 +0200
Subject: [PATCH] leak --

---
 src/surf/surf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/surf/surf.c b/src/surf/surf.c
index a53a97f8bc..fbd51c2015 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(&surf_path);
 
   xbt_lib_free(&host_lib);
-- 
2.20.1