From 89f7bc53fbd558e3b5ff2ce1d1693f570afcc536 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 14 Sep 2016 16:27:57 +0200
Subject: Fix CAMLP4 compilation.

---
 parsing/compat.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/compat.ml4 b/parsing/compat.ml4
index 170dd7c558..389c34fa50 100644
--- a/parsing/compat.ml4
+++ b/parsing/compat.ml4
@@ -213,7 +213,7 @@ end
 
 module GrammarMake (L:LexerSig) : GrammarSig = struct
   (* We need to refer to Coq's module Loc before it is hidden by include *)
-  let raise_coq_loc loc e = Loc.raise (to_coqloc loc) e
+  let raise_coq_loc loc e = Loc.raise ~loc:(to_coqloc loc) e
   include Camlp4.Struct.Grammar.Static.Make (L)
   type 'a entry = 'a Entry.t
   type action = Action.t
-- 
cgit v1.2.3