diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 19:33:53 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 19:33:53 +0200 |
commit | 693f5b078ac8ae2588c0a7f3616e6a46e48a53a7 (patch) | |
tree | 35c64384c0e2c99074fd5c29fc68ded5ea505f69 /test/c/nsievebits.c | |
parent | 1f1627064658f036097666f0d2d91cf8fa874e17 (diff) | |
download | compcert-693f5b078ac8ae2588c0a7f3616e6a46e48a53a7.tar.gz compcert-693f5b078ac8ae2588c0a7f3616e6a46e48a53a7.zip |
Compatibility with OCaml 4.07 (#241) continued
This is a follow-up to commit 6e1a5ce.
Another `open! Floats` is needed.
Diffstat (limited to 'test/c/nsievebits.c')
0 files changed, 0 insertions, 0 deletions