From 9a0f91ef23c9717728262602614494aca92b42d2 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Tue, 20 Aug 2024 12:14:12 -0700 Subject: [PATCH] Fix challenge number --- doc/src/challenges/0010-string.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/challenges/0010-string.md b/doc/src/challenges/0010-string.md index 1e7020c52cf53..cb12bfe9fdfbd 100644 --- 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)