From e8fe674066993a2426b913007c3f04eafb3cf8bb Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 12 Jun 2024 15:14:06 +0200 Subject: [PATCH] Update doc/src/core-transmutation.md --- doc/src/core-transmutation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/core-transmutation.md b/doc/src/core-transmutation.md index ba66c41be7e18..3a71c0c12ff29 100644 --- 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)