From f03927f496e3400758c753cccfc3a3a9fbd59a84 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Sat, 8 Mar 2014 22:43:14 +0100
Subject: [PATCH] Free file_lib on exit.

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

diff --git a/src/surf/surf_interface.cpp b/src/surf/surf_interface.cpp
index 0f393e8a25..6dd49af19b 100644
--- a/src/surf/surf_interface.cpp
+++ b/src/surf/surf_interface.cpp
@@ -437,7 +437,7 @@ void surf_exit(void)
   xbt_lib_free(&as_router_lib);
   xbt_lib_free(&storage_lib);
   xbt_lib_free(&storage_type_lib);
-
+  xbt_lib_free(&file_lib);
   xbt_dict_free(&watched_hosts_lib);
 
   xbt_dynar_foreach(model_list, iter, model)
-- 
2.20.1