From d5fd57d9a5e27b25bebb642e0aff7c01046bd437 Mon Sep 17 00:00:00 2001 From: Tim Small Date: Thu, 4 Apr 2019 12:52:01 +0100 Subject: [PATCH 1/2] Fix grammar-o https://github.com/rust-embedded/book/issues/182 --- src/static-guarantees/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/static-guarantees/index.md b/src/static-guarantees/index.md index 932f16ef..d18d78da 100644 --- a/src/static-guarantees/index.md +++ b/src/static-guarantees/index.md @@ -1,6 +1,6 @@ # Static Guarantees -It's Rust's type system what prevents data races at compile time (see [`Send`] +Rust's type system prevents data races at compile time (see [`Send`] and [`Sync`] traits). The type system can also be used to check other properties at compile time; reducing the need for runtime checks in some cases. From 5c6b0165c0ec5b55f6b52cf42b3fc1f98b63f8c2 Mon Sep 17 00:00:00 2001 From: Tim Small Date: Thu, 4 Apr 2019 12:53:09 +0100 Subject: [PATCH 2/2] Whitespace (re-wrap). --- src/static-guarantees/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/static-guarantees/index.md b/src/static-guarantees/index.md index d18d78da..a5bb8fa3 100644 --- a/src/static-guarantees/index.md +++ b/src/static-guarantees/index.md @@ -1,8 +1,8 @@ # Static Guarantees -Rust's type system prevents data races at compile time (see [`Send`] -and [`Sync`] traits). The type system can also be used to check other properties -at compile time; reducing the need for runtime checks in some cases. +Rust's type system prevents data races at compile time (see [`Send`] and +[`Sync`] traits). The type system can also be used to check other properties at +compile time; reducing the need for runtime checks in some cases. [`Send`]: https://doc.rust-lang.org/core/marker/trait.Send.html [`Sync`]: https://doc.rust-lang.org/core/marker/trait.Sync.html