From 6e1a5ce6c6dc820ca9030261dfb2b7a0e4919642 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 10 Jul 2018 14:57:20 +0200
Subject: Compatibility with OCaml 4.07 (#241)

OCaml 4.07 introduces a Float submodule of the Stdlib
opened-by-default compilation unit.  CompCert's Float compilation unit
also has a Float submodule.  This triggers warning 44 when Floats is
opened.  The workaround is just to silence the warning with `open! Floats`.

Closes: #241
---
 lib/Camlcoq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Camlcoq.ml')

diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml
index 5c25796e..d94e3582 100644
--- a/lib/Camlcoq.ml
+++ b/lib/Camlcoq.ml
@@ -20,7 +20,7 @@ open BinNums
 open BinNat
 open BinInt
 open BinPos
-open Floats
+open! Floats
 
 (* Coq's [nat] type and some of its operations *)
 
-- 
cgit