From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 7 Apr 2015 13:07:01 +0000 (+0200)
Subject: Added pool<K>::pop()
X-Git-Tag: yosys-0.6~351
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b31e77fd06af44336d572919c45a0089e6ac9c82;p=yosys.git

Added pool<K>::pop()
---

diff --git a/kernel/hashlib.h b/kernel/hashlib.h
index 94b573e47..7cea195d5 100644
--- 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);