Update summary

model-checking · Jun 26, 2024 · ac2854a · ac2854a
1 parent b64f99d
commit ac2854a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
@@ -15,3 +15,4 @@
 - [Challenges](./challenges.md)
   - [Core Transmutation](./challenges/0001-core-transmutation.md)
   - [Memory safety of core intrinsics](./challenges/0002-intrinsics-memory.md)
+  - [Memory safety of the `alloc::collections::btree::node` module](./challenges/0004-btree-node.md)