From 3bffda879e214345635e575a696e8f184bef0e55 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Thu, 20 Feb 2020 09:41:16 +0100
Subject: Cosmetic: in OCaml code, write "open! Module" instead of "open
 !Module"

"open!" is the form used in the examples in the OCaml manual.
Based on a quick poll it seems to be the preferred form of the OCaml
core dev team.
---
 driver/Interp.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'driver/Interp.ml')

diff --git a/driver/Interp.ml b/driver/Interp.ml
index 3fae70e9..d4286779 100644
--- a/driver/Interp.ml
+++ b/driver/Interp.ml
@@ -15,12 +15,12 @@
 open Format
 open Camlcoq
 open AST
-open !Integers
+open! Integers
 open Values
 open Memory
 open Globalenvs
 open Events
-open !Ctypes
+open! Ctypes
 open Csyntax
 open Csem
 
-- 
cgit