diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-09-12 16:17:45 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-09-12 16:17:45 +0200 |
| commit | 5f283eff34c828655a885ef837700009b2221f9b (patch) | |
| tree | ae2e50575f44f30e68ab1c3b2cc509d0aa297ac5 /Changelog | |
| parent | 4dcb9951fceee2bf92d9adda45a103ff9bb793a1 (diff) | |
| download | compcert-kvx-5f283eff34c828655a885ef837700009b2221f9b.tar.gz compcert-kvx-5f283eff34c828655a885ef837700009b2221f9b.zip | |
Typo in OCaml version number
Diffstat (limited to 'Changelog')
| -rw-r--r-- | Changelog | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |