Typo in CHANGES

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14216 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index 3e5a8a223a..511c057f3f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -74,7 +74,7 @@ Libraries
   may introduce incompatibilities. In particular, the order of the arguments
   for BigN.shiftl and BigN.shiftr is now reversed: the number to shift now
   comes first. By default, the power function now takes two BigN.
-- Creation of Vector, an idenpedant library for list indiced by their length.
+- Creation of Vector, an independant library for list indiced by their length.
   Vectors' names overwrite lists' one so you shouldn't "Import" the library.
   All old names change: functions' name become the CaML one and for example
   Vcons become Vector.cons. You can use notations by importing