From b9be88949e6d656a862b588e8b050bd5cc71f6d9 Mon Sep 17 00:00:00 2001
From: Takahiro Hirofuchi <t.hirofuchi+sg@aist.go.jp>
Date: Thu, 28 Feb 2013 14:26:56 +0100
Subject: [PATCH] Delete an used key correctly

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

diff --git a/src/xbt/lib.c b/src/xbt/lib.c
index 3dfdca5b46..9929a072f1 100644
--- a/src/xbt/lib.c
+++ b/src/xbt/lib.c
@@ -83,7 +83,6 @@ void xbt_lib_unset(xbt_lib_t lib, const char *key, int level, int invoke_callbac
 
   if (!obj) {
      XBT_WARN("no key %s at level %d", key, level);
-     return;
   } else {
      XBT_DEBUG("Remove %p of key %s at level %d", obj, key, level);
      if (invoke_callback)
@@ -91,7 +90,7 @@ void xbt_lib_unset(xbt_lib_t lib, const char *key, int level, int invoke_callbac
      elts[level] = NULL;
   }
 
-  /* check if there are elements of this key */
+  /* check if there still remains any elements of this key */
   int i;
   for (i = 0; i < lib->levels; i++) {
      if (elts[i] != NULL)
-- 
2.20.1