Update 0002-intrinsics-memory.md (rust-lang#208)

ReinierMaas · carolynzech · web-flow · commit bc9c9f9765d0 · 2024-12-10T20:55:53.000Z
Fixing some typos.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Co-authored-by: Carolyn Zech &lt;cmzech@amazon.com&gt;
diff --git a/doc/src/challenges/0002-intrinsics-memory.md b/doc/src/challenges/0002-intrinsics-memory.md
@@ -1,4 +1,4 @@
-# Challenge 2: Verify the memory safery of core intrinsics using raw pointers
+# Challenge 2: Verify the memory safety of core intrinsics using raw pointers
 
 - **Status:** Open
 - **Tracking Issue:** [#16](https://github.com/model-checking/verify-rust-std/issues/16)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Challenge 2: Verify the memory safery of core intrinsics using raw pointers`
	`1`	`+# Challenge 2: Verify the memory safety of core intrinsics using raw pointers`
`2`	`2`
`3`	`3`	`- Status: Open`
`4`	`4`	`- Tracking Issue: [#16](https://github.com/model-checking/verify-rust-std/issues/16)`