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 /cfrontend | |
| parent | 1f1627064658f036097666f0d2d91cf8fa874e17 (diff) | |
| download | compcert-kvx-693f5b078ac8ae2588c0a7f3616e6a46e48a53a7.tar.gz compcert-kvx-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 'cfrontend')
| -rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 9b6a4a7f..ce1f2c0e 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -16,7 +16,7 @@ open C open Camlcoq -open Floats +open! Floats open Values open Ctypes open Csyntax |