From 632b4d0121bda71a3e6186ceff10323aacd0b9ea Mon Sep 17 00:00:00 2001
From: Siddharth Bhat
Date: Wed, 22 Aug 2018 16:13:08 +0530
Subject: Fix typo of caracterisation -> c*h*aracterisation

---
 theories/Structures/GenericMinMax.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theories/Structures')

diff --git a/theories/Structures/GenericMinMax.v b/theories/Structures/GenericMinMax.v
index 05edc6ccde..4d04667c01 100644
--- a/theories/Structures/GenericMinMax.v
+++ b/theories/Structures/GenericMinMax.v
@@ -83,7 +83,7 @@ End GenericMinMax.
 Module MinMaxLogicalProperties (Import O:TotalOrder')(Import M:HasMinMax O).
  Module Import Private_Tac := !MakeOrderTac O O.
 
-(** An alternative caracterisation of [max], equivalent to
+(** An alternative characterisation of [max], equivalent to
     [max_l /\ max_r] *)
 
 Lemma max_spec n m :
-- 
cgit v1.2.3