From b0fdecf3f4b8c1fc103c65c7d3b31f7bb612ab76 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kalle=20Ahlstr=C3=B6m?= <71292737+kahlstrm@users.noreply.github.com> Date: Fri, 13 Dec 2024 08:39:40 +0200 Subject: [PATCH] Fix intrinsics challenge typo in summary (#228) This PR fixes a minor typo in `SUMMARY.md` I noticed while browsing through the site. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --- doc/src/SUMMARY.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md index 3f99b7ffc8985..35377852d0d15 100644 --- a/doc/src/SUMMARY.md +++ b/doc/src/SUMMARY.md @@ -14,7 +14,7 @@ - [Challenges](./challenges.md) - [1: Verify core transmuting methods](./challenges/0001-core-transmutation.md) - - [2: Verify the memory safery of core intrinsics using raw pointers](./challenges/0002-intrinsics-memory.md) + - [2: Verify the memory safety of core intrinsics using raw pointers](./challenges/0002-intrinsics-memory.md) - [3: Verifying Raw Pointer Arithmetic Operations](./challenges/0003-pointer-arithmentic.md) - [4: Memory safety of BTreeMap's `btree::node` module](./challenges/0004-btree-node.md) - [5: Verify functions iterating over inductive data type: `linked_list`](./challenges/0005-linked-list.md)