X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/baca7024fc7c8a8231d947be38fd7627348487fd..b65f44359644f1fdbe91077e7d379453a16f857a:/src/msg/global.c?ds=sidebyside

diff --git a/src/msg/global.c b/src/msg/global.c
index 7df2150906..6aa780db65 100644
--- a/src/msg/global.c
+++ b/src/msg/global.c
@@ -110,7 +110,7 @@ void MSG_global_init(int *argc, char **argv)
  */
 MSG_error_t MSG_set_channel_number(int number)
 {
-  xbt_assert0((msg_global)
+  xbt_assert((msg_global)
               && (msg_global->max_channel == 0),
               "Channel number already set!");
 
@@ -128,7 +128,7 @@ MSG_error_t MSG_set_channel_number(int number)
  */
 int MSG_get_channel_number(void)
 {
-  xbt_assert0((msg_global)
+  xbt_assert((msg_global)
               && (msg_global->max_channel != 0),
               "Channel number not set yet!");
 
@@ -197,6 +197,11 @@ MSG_error_t MSG_clean(void)
 
   SIMIX_clean();
 
+  // Exit the LIB host_lib
+  xbt_lib_free(&host_lib);
+  xbt_lib_free(&link_lib);
+  xbt_lib_free(&as_router_lib);
+
   return MSG_OK;
 }