1 files changed, 4 insertions, 0 deletions
diff --git a/src/context/cdmap.h b/src/context/cdmap.h
index 3ac99f729..2a5365082 100644
--- a/src/context/cdmap.h
+++ b/src/context/cdmap.h
@@ -364,6 +364,10 @@ public:
     return d_map.size();
   }
 
+  bool empty() const {
+    return d_map.empty();
+  }
+
   size_t count(const Key& k) const {
     return d_map.count(k);
   }