From fb82de6da0de4d36157a72d27f0f7a9defd2f2ae Mon Sep 17 00:00:00 2001
From: Assia Mahboubi
Date: Fri, 20 Nov 2015 17:27:48 +0100
Subject: Typo.

---
 mathcomp/ssreflect/ssrbool.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/ssrbool.v b/mathcomp/ssreflect/ssrbool.v
index 0bcfda2..ae634ba 100644
--- a/mathcomp/ssreflect/ssrbool.v
+++ b/mathcomp/ssreflect/ssrbool.v
@@ -290,7 +290,7 @@ Reserved Notation "p1 =i p2"
 (*    [type var separator expr]                                               *)
 (* where "type" is the type of the comprehension (e.g., pred) and "separator" *)
 (* is | or => . It is important that in other notations a leading square      *)
-(* bracket [ is always by an operator symbol or a fixed identifier.           *)
+(* bracket [ is always followed by an operator symbol or a fixed identifier.  *)
 
 Reserved Notation "[ /\ P1 & P2 ]" (at level 0, only parsing).
 Reserved Notation "[ /\ P1 , P2 & P3 ]" (at level 0, format
-- 
cgit v1.2.3