Skip to content

Commit

Permalink
fix typo
Browse files Browse the repository at this point in the history
Co-authored-by: Michael Tautschnig <mt@debian.org>
  • Loading branch information
carolynzech and tautschnig committed Aug 26, 2024
1 parent d1c8351 commit 475c5d9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/challenges/0011-floats-ints.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 |
| :--- | :---
Expand Down

0 comments on commit 475c5d9

Please sign in to comment.