From 20c092bcb1a1d7d8bb40ed10ce89b3d7ad5ff92f Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Tue, 16 Jul 2024 16:47:19 -0700 Subject: [PATCH] Revert index change --- doc/src/challenges/{0006-btree-node.md => 0004-btree-node.md} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename doc/src/challenges/{0006-btree-node.md => 0004-btree-node.md} (97%) diff --git a/doc/src/challenges/0006-btree-node.md b/doc/src/challenges/0004-btree-node.md similarity index 97% rename from doc/src/challenges/0006-btree-node.md rename to doc/src/challenges/0004-btree-node.md index a30d38a9edd9f..6f252e9bd4bfa 100644 --- a/doc/src/challenges/0006-btree-node.md +++ b/doc/src/challenges/0004-btree-node.md @@ -1,4 +1,4 @@ -# Challenge 6: Memory safety of BTreeMap's `btree::node` module +# Challenge 4: Memory safety of BTreeMap's `btree::node` module - **Status:** Open - **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/25)