From 07bf5e332ba6b39e7c94e694a46a89f9e104e869 Mon Sep 17 00:00:00 2001
From: Who? Me?! <mark-i-m@users.noreply.github.com>
Date: Sun, 21 Oct 2018 18:05:32 +0200
Subject: [PATCH] Add an apostrophe

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 8cc1bc7f..494ec5b8 100644
--- a/src/traits/goals-and-clauses.md
+++ b/src/traits/goals-and-clauses.md
@@ -58,7 +58,7 @@ see that clauses are always of the form:
 ```text
 forall<K1, ..., Kn> { DomainGoal :- Goal }
 ```
-hence domain goals are in fact clauses LHS. That is, at the most granular level,
+hence domain goals are in fact clauses' LHS. That is, at the most granular level,
 domain goals are what the trait solver will end up trying to prove.
 
 <a name="trait-ref"></a>