From e4d74f1d1d800736f6fcea5ca0898dc20a5bc93b Mon Sep 17 00:00:00 2001
From: Daniel Murray <613894+danmur@users.noreply.github.com>
Date: Sun, 27 Jan 2019 12:26:10 +0800
Subject: [PATCH] where -> were

---
 docs/docs/reference/other-new-features/erased-terms.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/reference/other-new-features/erased-terms.md b/docs/docs/reference/other-new-features/erased-terms.md
index b171bc5df691..b96e212c0c90 100644
--- a/docs/docs/reference/other-new-features/erased-terms.md
+++ b/docs/docs/reference/other-new-features/erased-terms.md
@@ -91,7 +91,7 @@ that will not be found.
 
 As the implicit evidences of `turnedOn` and `turnedOff` are not used in the bodies of those functions 
 we can mark them as `erased`. This will remove the evidence parameters at runtime, but we would still
-evaluate the `isOn` and `isOff` implicits that where found as arguments.
+evaluate the `isOn` and `isOff` implicits that were found as arguments.
 As `isOn` and `isOff` are not used except as `erased` arguments, we can mark them as `erased`, hence
 removing the evaluation of the `isOn` and `isOff` evidences.