fix broken use of iterator

[satcheck.git] / hashset.h

diff --git a/hashset.h b/hashset.h
index c4274e2d0244df57e3107591147f0e085a9a9585..ecda268fd21fe1eb6d57989c60541e03d2075360 100644 (file)
--- a/hashset.h
+++ b/hashset.h
@@ -151,6 +151,10 @@ class HashSet {
                 return NULL;
  }
 
+ _Key getFirstKey() {
+        return list->key;
+ }
+
  bool contains(_Key key) {
         return table->get(key)!=NULL;
  }
@@ -209,7 +213,6 @@ class HashSet {
  void operator delete[](void *p, size_t size) {
         _free(p);
  }
-
  private:
  HashTable<_Key, LinkNode<_Key>*, _KeyInt, _Shift, _malloc, _calloc, _free, hash_function, equals> * table;
  LinkNode<_Key> *list;