From e7369f8e0115c2d32643d2eacd201362f32c9a34 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Tue, 20 Dec 2016 15:32:48 +0100
Subject: correct a typo in the documentation

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

diff --git a/mathcomp/ssreflect/ssrbool.v b/mathcomp/ssreflect/ssrbool.v
index bb8606f..c5a881f 100644
--- a/mathcomp/ssreflect/ssrbool.v
+++ b/mathcomp/ssreflect/ssrbool.v
@@ -113,7 +113,7 @@ Require Import ssrfun.
 (* Alternatively one can use the syntax for explicit simplifying predicates   *)
 (* and relations (in the following x is bound in E):                          *)
 (*            [pred x | E] == simplifying (see ssrfun) predicate x => E.      *)
-(*        [pred x : T | E] == predicate x => T, with a cast on the argument.  *)
+(*        [pred x : T | E] == predicate x => E, with a cast on the argument.  *)
 (*          [pred : T | P] == constant predicate P on type T.                 *)
 (*      [pred x | E1 & E2] == [pred x | E1 && E2]; an x : T cast is allowed.  *)
 (*           [pred x in A] == [pred x | x in A].                              *)
-- 
cgit v1.2.3