Updating files...

[repair.git] / Repair / RepairCompiler / MCC / SimpleHash.h

diff --git a/Repair/RepairCompiler/MCC/SimpleHash.h b/Repair/RepairCompiler/MCC/SimpleHash.h
index 5c2e2715280980252e55ec9579fe6702f7c50bab..182351cc8a6fb789fcf12496f174142a41ec4f2a 100755 (executable)
--- a/Repair/RepairCompiler/MCC/SimpleHash.h
+++ b/Repair/RepairCompiler/MCC/SimpleHash.h
@@ -123,6 +123,9 @@ public:
     int get(int key, int& data);
     int countdata(int data);
     void addParent(SimpleHash* parent);
+    inline int firstkey() {
+       return nodelist->key;
+    }
     inline SimpleIterator* iterator() {
         return new SimpleIterator(nodelist);
     }