diff options
Diffstat (limited to 'src/context/cdhashset.h')
-rw-r--r-- | src/context/cdhashset.h | 4 |
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); } |