From 39646bac3e58d8a28c0c5abc818d28b054b3a4bb Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 31 Jul 2014 16:32:25 +0100
Subject: [PATCH] added operator[] to obj_map for convenience

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/util/obj_hashtable.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/util/obj_hashtable.h b/src/util/obj_hashtable.h
index 603898af8..8ff5f8e8f 100644
--- a/src/util/obj_hashtable.h
+++ b/src/util/obj_hashtable.h
@@ -165,6 +165,14 @@ public:
         SASSERT(e);
         return e->get_data().m_value;
     }
+
+    value const & operator[](key * k) const {
+        return find(k);
+    }
+
+    value & operator[](key * k) {
+        return find(k);
+    }
     
     iterator find_iterator(Key * k) const { 
         return m_table.find(key_data(k));