From 3591171d8c09e2f9cb3bea87d5ba5aa6501acacb Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 16 Aug 2017 17:24:22 +0200
Subject: Improve wording.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index ce96cde163..f54cc491ec 100644
--- a/CHANGES
+++ b/CHANGES
@@ -84,7 +84,7 @@ Standard Library
 - New lemmas about iff and about orders on positive and Z.
 - New lemmas on powerRZ.
 - Strengthened statement of JMeq_eq_dep (closes BZ#4912).
-- The BigN, BigZ, BigZ libraries are not part anymore of Coq standard
+- The BigN, BigZ, BigZ libraries are no longer part of the Coq standard
   library, they are now provided by a separate repository
     https://github.com/coq/bignums
   The split has been done just after the Int31 library.
-- 
cgit v1.2.3