From c8d9be0bbf363dac3430a1a0397800c0d9685055 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 Dec 2017 14:22:25 +0530
Subject: [PATCH] fix build of obj_ref_hashtable

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/obj_ref_hashtable.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/util/obj_ref_hashtable.h b/src/util/obj_ref_hashtable.h
index 6bd4f1556..3d6bbf883 100644
--- a/src/util/obj_ref_hashtable.h
+++ b/src/util/obj_ref_hashtable.h
@@ -26,6 +26,12 @@ class obj_ref_map {
     M&                  m;
     obj_map<Key, Value> m_table;
 public:
+    typedef typename obj_map<Key, Value> iterator;
+    typedef Key key;
+    typedef Value value;
+    typedef typename obj_map<Key, Value>::key_data key_data;
+    typedef typename obj_map<Key, Value>::obj_map_entry obj_map_entry;
+
     obj_ref_map(M& m):m(m) {}
     
     ~obj_ref_map() { reset();  }