1 files changed, 1 insertions, 2 deletions
diff --git a/CHANGES b/CHANGES
index 209840fd68..20923b99ce 100644
--- a/CHANGES
+++ b/CHANGES
@@ -111,8 +111,7 @@ Extraction (See details in contrib/extraction/CHANGES and README):
 - An experimental Scheme extraction is provided.
 - Concerning Ocaml, extracted code is now ensured to always type-check, 
   thanks to automatic inserting of Obj.magic.
-- "early" (read: "still bugged") version of an extraction compatible with
-  Coq's new modules.
+- Experimental extraction of Coq new modules to Ocaml modules.
 
 Miscellaneous