From a1a86e6572bbae9e515cc72d7072322e5a11b49e Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 21 Jun 2016 16:24:01 +0200
Subject: Parsing/compat.ml4: avoid "let open" syntax, unsupported by my camlp5
 6.11

---
 parsing/compat.ml4 | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/parsing/compat.ml4 b/parsing/compat.ml4
index 9eb07990e6..ef651f810d 100644
--- a/parsing/compat.ml4
+++ b/parsing/compat.ml4
@@ -33,7 +33,7 @@ let make_loc fname line_nb bol_pos bp ep = Ploc.make_loc fname line_nb bol_pos (
 
 (* Update a loc without allocating an intermediate pair *)
 let set_loc_pos loc bp ep =
-  let open Ploc in sub loc (bp - first_pos loc) (ep - bp)
+  Ploc.sub loc (bp - Ploc.first_pos loc) (ep - bp)
 
 (* Increase line number by 1 and update position of beginning of line *)
 let bump_loc_line loc bol_pos =
@@ -82,28 +82,25 @@ let to_coqloc loc =
 let make_loc fname line_nb bol_pos start stop =
   CompatLoc.of_tuple (fname, line_nb, bol_pos, start, line_nb, bol_pos, stop, false)
 
+open CompatLoc
+
 let set_loc_pos loc bp ep =
-  let open CompatLoc in
   of_tuple (file_name loc, start_line loc, start_bol loc, bp,
 	    stop_line loc, stop_bol loc, ep, is_ghost loc)
 
 let bump_loc_line loc bol_pos =
-  let open CompatLoc in
   of_tuple (file_name loc, start_line loc + 1, bol_pos, start_off loc,
 	    start_line loc + 1, bol_pos, stop_off loc, is_ghost loc)
 
 let bump_loc_line_last loc bol_pos =
-  let open CompatLoc in
   of_tuple (file_name loc, start_line loc, start_bol loc, start_off loc,
 	    stop_line loc + 1, bol_pos, stop_off loc, is_ghost loc)
 
 let set_loc_file loc fname =
-  let open CompatLoc in
   of_tuple (fname, start_line loc, start_bol loc, start_off loc,
 	    stop_line loc, stop_bol loc, stop_off loc, is_ghost loc)
 
 let after loc =
-  let open CompatLoc in
   of_tuple (file_name loc, stop_line loc, stop_bol loc, stop_off loc,
 	    stop_line loc, stop_bol loc, stop_off loc, is_ghost loc)
 
-- 
cgit v1.2.3