From 39c55cc00a35af8677ce3e0661e053e57081b183 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sat, 6 Jul 2019 09:36:01 +0200
Subject: Clarify "open" statements

OCaml 4.08.0 has stricter warnings concerning open statements that
shadow module names.
---
 driver/Interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Interp.ml')

diff --git a/driver/Interp.ml b/driver/Interp.ml
index 2c0867e3..a6841460 100644
--- a/driver/Interp.ml
+++ b/driver/Interp.ml
@@ -15,7 +15,7 @@
 open Format
 open Camlcoq
 open AST
-open Integers
+open !Integers
 open Values
 open Memory
 open Globalenvs
-- 
cgit