From 5691b70947792450c9944af40a994ef5f247148d Mon Sep 17 00:00:00 2001 From: Kris Nuttycombe Date: Mon, 22 May 2023 10:29:40 -0600 Subject: [PATCH] Restore the relevant part of a deleted comment. --- shardtree/src/lib.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/shardtree/src/lib.rs b/shardtree/src/lib.rs index d79d963..74420df 100644 --- a/shardtree/src/lib.rs +++ b/shardtree/src/lib.rs @@ -2028,6 +2028,8 @@ where return Ok(false); } + // Update the rightmost subtree to add the `CHECKPOINT` flag to the right-most leaf (which + // need not be a level-0 leaf; it's fine to rewind to a pruned state). if let Some(subtree) = self.store.last_shard()? { if let Some((replacement, checkpoint_position)) = go(subtree.root_addr, &subtree.root) { if self