From 5f283eff34c828655a885ef837700009b2221f9b Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 12 Sep 2018 16:17:45 +0200
Subject: Typo in OCaml version number

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

(limited to 'Changelog')

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:
-- 
cgit