From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Sat, 8 Mar 2014 21:43:14 +0000 (+0100)
Subject: Free file_lib on exit.
X-Git-Tag: v3_11~230
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f03927f496e3400758c753cccfc3a3a9fbd59a84

Free file_lib on exit.
---

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)