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 /configure | |
| 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 'configure')
0 files changed, 0 insertions, 0 deletions