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 /driver/Timing.ml | |
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
Diffstat (limited to 'driver/Timing.ml')
0 files changed, 0 insertions, 0 deletions