From 1c3b7eb615cfaa570ac9dad93d87bc70c29f735a Mon Sep 17 00:00:00 2001
From: Paul Daniel Faria <Nashenas88@users.noreply.github.com>
Date: Sat, 17 Aug 2019 13:19:10 -0400
Subject: [PATCH] Fix a typo in the implied bounds section of
 traits/lowering-rules

---
 src/traits/lowering-rules.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/traits/lowering-rules.md b/src/traits/lowering-rules.md
index bbebf145..c780e7cf 100644
--- a/src/traits/lowering-rules.md
+++ b/src/traits/lowering-rules.md
@@ -114,7 +114,7 @@ cover). For each trait, we produce two clauses:
 //
 // For each where clause WC:
 forall<Self, P1..Pn> {
-  FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn)
+  FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn>)
 }
 ```