From fb88eab3c323c752ad9d77649c77d5be9190d41e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 19 Dec 2018 13:16:33 +0100
Subject: [doc] typo

---
 doc/sphinx/proof-engine/ssreflect-proof-language.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/proof-engine/ssreflect-proof-language.rst b/doc/sphinx/proof-engine/ssreflect-proof-language.rst
index 66338d7f9f..92bd4dbd1d 100644
--- a/doc/sphinx/proof-engine/ssreflect-proof-language.rst
+++ b/doc/sphinx/proof-engine/ssreflect-proof-language.rst
@@ -1617,7 +1617,7 @@ annotation: views are interpreted opening the ``ssripat`` scope.
   required to expose the top variable or assumption.
 ``>``
   pops every variable occurring in the rest of the stack.
-  Type class instances are popped even if then don't occur
+  Type class instances are popped even if they don't occur
   in the rest of the stack.
   The tactic ``move=> >`` is equivalent to
   ``move=> ? ?`` on a goal such as::
-- 
cgit v1.2.3