From ab89ea2446c4fb4f7fc7affdc5c900cb4667ec62 Mon Sep 17 00:00:00 2001
From: Who? Me?! <mark-i-m@users.noreply.github.com>
Date: Sun, 21 Oct 2018 18:05:51 +0200
Subject: [PATCH] Fix typo

Co-Authored-By: scalexm <alexandre@scalexm.fr>
---
 src/traits/goals-and-clauses.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/traits/goals-and-clauses.md b/src/traits/goals-and-clauses.md
index 494ec5b8..fb12c5a4 100644
--- a/src/traits/goals-and-clauses.md
+++ b/src/traits/goals-and-clauses.md
@@ -174,7 +174,7 @@ fn loud_insert<K>(set: &mut HashSet<K>, item: K) {
 ```
 
 `HashSet<K>` is an input type of the `loud_insert` function. Hence, we assume it
-to be well-formed, so we would have `FromEnv(HashSet<K>)` inside the body or our
+to be well-formed, so we would have `FromEnv(HashSet<K>)` inside the body of our
 function. As we'll see in the section on lowering, `FromEnv(HashSet<K>)` implies
 `Implemented(K: Hash)` because the
 `HashSet` declaration was written with a `K: Hash` where clause. Hence, we don't