From 43905f444428e3d53ff82a5c2c85957d7f0ab91d Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 12 Jul 2018 22:54:41 +0200 Subject: 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 --- riscV/Asmexpand.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'riscV/Asmexpand.ml') 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 -- cgit