Fix index

zhassan-aws · zhassan-aws · commit 52c684b6e665 · 2024-07-16T16:33:50.000-07:00
diff --git a/doc/src/challenges/0006-btree-node.md b/doc/src/challenges/0006-btree-node.md
@@ -1,4 +1,4 @@
-# Challenge 4: Memory safety of BTreeMap's `btree::node` module
+# Challenge 6: 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)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-# Challenge 4: Memory safety of BTreeMap's `btree::node` module
	`1`	+# Challenge 6: Memory safety of BTreeMap's `btree::node` module
`2`	`2`
`3`	`3`	`- Status: Open`
`4`	`4`	`- Tracking Issue: [Link to issue](https://github.com/model-checking/verify-rust-std/issues/25)`