1 files changed, 1 insertions, 1 deletions
diff --git a/Changelog b/Changelog
index 232f47d0..04f6558f 100644
--- a/Changelog
+++ b/Changelog
@@ -51,7 +51,7 @@ Semantic preservation proof:
 
 Coq and OCaml development:
 - Support Coq version 8.8.1.
-- Support OCaml versions 8.7.0 and up.
+- Support OCaml versions 4.7.0 and up.
 - Support Menhir versions 20180530 and up.
 
 Others: