Fix challenge number (rust-lang#63)

zhassan-aws · web-flow · commit b3fb221733f8 · 2024-08-22T11:27:11.000-07:00
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
diff --git a/doc/src/challenges/0010-string.md b/doc/src/challenges/0010-string.md
@@ -1,4 +1,4 @@
-# Challenge X: Memory safety of String
+# Challenge 10: Memory safety of String
 
 - **Status:** Open
 - **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/61)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Challenge X: Memory safety of String`
	`1`	`+# Challenge 10: Memory safety of String`
`2`	`2`
`3`	`3`	`- Status: Open`
`4`	`4`	`- Tracking Issue: [Link to issue](https://github.com/model-checking/verify-rust-std/issues/61)`