address PR feedback

model-checking · Aug 21, 2024 · 26c2b1c · 26c2b1c
1 parent 6a1311c
commit 26c2b1c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/src/challenges/0011-floats-ints.md b/doc/src/challenges/0011-floats-ints.md
@@ -1,4 +1,4 @@
-# Challenge 11: Safety of Floats and Integers
+# Challenge 11: Safety of Floats and Integers in `core::num`
 
 
 - **Status:** Open
@@ -10,7 +10,7 @@
 
 ## Goal
 
-Verify the memory safety of public unsafe methods for floats and integers in `core::num`.
+Verify the safety of public unsafe methods for floats and integers in `core::num`.
 
 ## Success Criteria