From faf497b1ecc3452e93f71edbab5e766cf0b53f0f Mon Sep 17 00:00:00 2001
From: Takahiro Hirofuchi <thirofuchi@debian.(none)>
Date: Thu, 31 Jan 2013 23:10:12 +0100
Subject: [PATCH] fix xbt_lib_unset

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

diff --git a/src/xbt/lib.c b/src/xbt/lib.c
index e8f6a21cd2..a76ca15468 100644
--- 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)
-- 
2.20.1