From 475c5d9aa187a0d71db2375bf409fc1111e525e8 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Mon, 26 Aug 2024 16:26:48 -0400 Subject: [PATCH] fix typo Co-authored-by: Michael Tautschnig --- doc/src/challenges/0011-floats-ints.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/challenges/0011-floats-ints.md b/doc/src/challenges/0011-floats-ints.md index 94cf407923709..6e25931114101 100644 --- a/doc/src/challenges/0011-floats-ints.md +++ b/doc/src/challenges/0011-floats-ints.md @@ -16,7 +16,7 @@ Verify the safety of public unsafe methods for floats and integers in `core::num ### Part 1: Unsafe Integer Methods -Prove the absence of undefined behavior in the following methods for each of the listed integers types, given that their safety preconditions are satisfied: +Prove the absence of undefined behavior in the following methods for each of the listed integer types, given that their safety preconditions are satisfied: | Method | Integer Types | | :--- | :---