Merge branch 'main' into modify-2

jaisnan · Aug 22, 2024 · d3c3e51 · d3c3e51
2 parents 9557879 + b3fb221
commit d3c3e51
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)