fix xbt_lib_unset

diff --git a/src/xbt/lib.c b/src/xbt/lib.c
index e8f6a21cd213f2b204277df143e1eb8928c54c18..a76ca15468184e7ccd40970016a0450caaab7e4a 100644 (file)
--- a/src/xbt/lib.c
+++ b/src/xbt/lib.c
@@ -98,7 +98,7 @@ void xbt_lib_unset(xbt_lib_t lib, const char *key, int level)
   }
 
   /* there is no element at any level, so delete the key */
-  xbt_dict_remove(lib->dict, key)
+  xbt_dict_remove(lib->dict, key);
 }
 
 void *xbt_lib_get_or_null(xbt_lib_t lib, const char *key, int level)