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.
---
 backend/Inliningaux.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/Inliningaux.ml')

diff --git a/backend/Inliningaux.ml b/backend/Inliningaux.ml
index 842e0c93..2e83eb0c 100644
--- a/backend/Inliningaux.ml
+++ b/backend/Inliningaux.ml
@@ -16,7 +16,7 @@ open FSetAVL
 open Maps
 open Op
 open Ordered
-open !RTL
+open! RTL
 
 module PSet = Make(OrderedPositive)
 
-- 
cgit