From b3fb221733f86d1ab3df63b54accc3691af14390 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Date: Thu, 22 Aug 2024 11:27:11 -0700
Subject: [PATCH] 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.
---
 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)