diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 14:57:20 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 14:57:20 +0200 |
commit | 6e1a5ce6c6dc820ca9030261dfb2b7a0e4919642 (patch) | |
tree | 2cb3f8125e4fa3064eb996cd349ece73b689b78d /doc/style.css | |
parent | 380a8489a882fc3eab02aa3d0cc03a2aa8078044 (diff) | |
download | compcert-6e1a5ce6c6dc820ca9030261dfb2b7a0e4919642.tar.gz compcert-6e1a5ce6c6dc820ca9030261dfb2b7a0e4919642.zip |
Compatibility with OCaml 4.07 (#241)
OCaml 4.07 introduces a Float submodule of the Stdlib
opened-by-default compilation unit. CompCert's Float compilation unit
also has a Float submodule. This triggers warning 44 when Floats is
opened. The workaround is just to silence the warning with `open! Floats`.
Closes: #241
Diffstat (limited to 'doc/style.css')
0 files changed, 0 insertions, 0 deletions