Revert index change

model-checking · Jul 16, 2024 · 20c092b · 20c092b
1 parent 52c684b
commit 20c092b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/challenges/0006-btree-node.md → doc/src/challenges/0004-btree-node.md b/doc/src/challenges/0006-btree-node.md → 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)