fix typos

thanhnguyen-aws · thanhnguyen-aws · commit fd6642e0c340 · 2025-03-06T09:40:07.000-08:00
diff --git a/doc/src/challenges/0016-iter.md b/doc/src/challenges/0016-iter.md
@@ -1,4 +1,4 @@
-# Challenge 21: Verify the safety of `slice` iter functions - part 2
+# Challenge 16: Verify the safety of Iterator functions
 
 - **Status:** Open
 - **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-# Challenge 21: Verify the safety of `slice` iter functions - part 2
	`1`	`+# Challenge 16: Verify the safety of Iterator functions`
`2`	`2`
`3`	`3`	`- Status: Open`
`4`	`4`	`- Tracking Issue: [#29](https://github.com/model-checking/verify-rust-std/issues/29)`