1 files changed, 4 insertions, 0 deletions
diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h
index 777bbc94b..bf1f7d097 100644
--- a/src/context/cdhashset.h
+++ b/src/context/cdhashset.h
@@ -68,6 +68,10 @@ public:
     return super::insert(v, v);
   }
 
+  void insertAtContextLevelZero(const V& v) {
+    return super::insertAtContextLevelZero(v, v);
+  }
+
   bool contains(const V& v) {
     return find(v) != end();
   }