From d306f5428db0d034aea55d3f0699c67c1f296cc1 Mon Sep 17 00:00:00 2001
From: JPR
Date: Thu, 23 May 2019 23:28:55 +0200
Subject: Fixing typos - Part 3

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

(limited to 'theories/Sorting')

diff --git a/theories/Sorting/PermutSetoid.v b/theories/Sorting/PermutSetoid.v
index 08bc400f0a..142883a525 100644
--- a/theories/Sorting/PermutSetoid.v
+++ b/theories/Sorting/PermutSetoid.v
@@ -543,7 +543,7 @@ Qed.
 End Permut_permut.
 
 (* begin hide *)
-(** For compatibilty *)
+(** For compatibility *)
 Notation permut_right := permut_cons (only parsing).
 Notation permut_tran := permut_trans (only parsing).
 (* end hide *)
-- 
cgit v1.2.3