From 415be3b908daadabf178a292c885db78e5b2c9a4 Mon Sep 17 00:00:00 2001
From: Enrico
Date: Wed, 22 May 2019 15:21:11 +0200
Subject: typo

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGELOG.md')

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7f50956..30fcd0f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,7 +9,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 MathComp 1.9.0 is compatible with Coq 8.7, 8.8, 8.9 and 8.10beta1.
 Minor releases will remain compatible with Coq 8.9 and 8.10; compatibility with earlier
-versions may be droppped.
+versions may be dropped.
 
 ### Added
 
-- 
cgit v1.2.3