Update doc/src/core-transmutation.md

pnkfelix · Jun 12, 2024 · e8fe674 · e8fe674
1 parent 9a99cfc
commit e8fe674
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/core-transmutation.md b/doc/src/core-transmutation.md
@@ -1,4 +1,4 @@
-# Challenge: Verify `core` transmuting methods
+# Challenge 1: Verify `core` transmuting methods
 
 - **Status:** Open
 - **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/19)