Added pool<K>::pop()

diff --git a/kernel/hashlib.h b/kernel/hashlib.h
index 94b573e47f47f5a2a1c7f204037759fd08724613..7cea195d58d4dbcbeddf88539557f746f6a1ea3c 100644 (file)
--- a/kernel/hashlib.h
+++ b/kernel/hashlib.h
@@ -803,6 +803,14 @@ public:
                do_rehash();
        }
 
+       K pop()
+       {
+               iterator it = begin();
+               K ret = *it;
+               erase(it);
+               return ret;
+       }
+
        void swap(pool &other)
        {
                hashtable.swap(other.hashtable);