Fix challenge number (#63)

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
model-checking · Aug 22, 2024 · b3fb221 · b3fb221
1 parent 46352cf
commit b3fb221
Showing 1 changed file with 1 addition and 1 deletion.
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)