diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-07-12 22:54:41 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-07-12 22:54:41 +0200 |
commit | 43905f444428e3d53ff82a5c2c85957d7f0ab91d (patch) | |
tree | a6bb12fcf88ad2abd56a411d0306aa0158850612 | |
parent | abf674c626d9b21ceeb5cb3e5dbec0fc115cd16b (diff) | |
download | compcert-43905f444428e3d53ff82a5c2c85957d7f0ab91d.tar.gz compcert-43905f444428e3d53ff82a5c2c85957d7f0ab91d.zip |
Compatibility with OCaml 4.07 (#241) continued
Additionally an open !Integers is needed for the open Integers in the
RISC-V Asmexpand, since Integers defines an Int64 module. This silences
the warning 44 triggered.
Bug 24090
-rw-r--r-- | riscV/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/Asmexpand.ml b/riscV/Asmexpand.ml index 945974e0..0a7f8a8a 100644 --- a/riscV/Asmexpand.ml +++ b/riscV/Asmexpand.ml @@ -23,7 +23,7 @@ open Asm open Asmexpandaux open AST open Camlcoq -open Integers +open !Integers exception Error of string |