diff --git a/nodeversion.hh b/nodeversion.hh index 5e2a06f..6a86765 100644 --- a/nodeversion.hh +++ b/nodeversion.hh @@ -268,6 +268,9 @@ class basic_singlethreaded_nodeversion { basic_singlethreaded_nodeversion
mark_deleted() { return *this; } + void mark_deleted_tree() { + v_ |= P::deleted_bit; + } void mark_root() { v_ |= P::root_bit; }