1 files changed, 4 insertions, 0 deletions
diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h
index e2ffac49b..881c3f629 100644
--- a/src/context/cdhashset.h
+++ b/src/context/cdhashset.h
@@ -57,6 +57,10 @@ public:
     return super::size();
   }
 
+  bool empty() const {
+    return super::empty();
+  }
+
   bool insert(const V& v) {
     return super::insert_safe(v, true);
   }