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 /cparser/GNUmakefile | |
| parent | abf674c626d9b21ceeb5cb3e5dbec0fc115cd16b (diff) | |
| download | compcert-kvx-43905f444428e3d53ff82a5c2c85957d7f0ab91d.tar.gz compcert-kvx-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 'cparser/GNUmakefile')
0 files changed, 0 insertions, 0 deletions