From 693f5b078ac8ae2588c0a7f3616e6a46e48a53a7 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 10 Jul 2018 19:33:53 +0200
Subject: Compatibility with OCaml 4.07 (#241) continued

This is a follow-up to commit 6e1a5ce.
Another `open! Floats` is needed.
---
 cfrontend/C2C.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 9b6a4a7f..ce1f2c0e 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -16,7 +16,7 @@
 open C
 
 open Camlcoq
-open Floats
+open! Floats
 open Values
 open Ctypes
 open Csyntax
-- 
cgit