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