From bd81eaef87c5eb3a5d5bf398e151235e4e5c81a1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 21 Sep 2016 13:59:35 +0200
Subject: Fix an error-prone error API.

---
 parsing/egramcoq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing')

diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml
index 0dbe082311..9560bf2a3b 100644
--- a/parsing/egramcoq.ml
+++ b/parsing/egramcoq.ml
@@ -434,7 +434,7 @@ let make_act : type r. r target -> _ -> r gen_eval = function
   CNotation (loc, notation , env)
 | ForPattern -> fun notation loc env ->
   let invalid = List.exists (fun (_, b) -> not b) env.binders in
-  let () = if invalid then Topconstr.error_invalid_pattern_notation loc in
+  let () = if invalid then Topconstr.error_invalid_pattern_notation ~loc () in
   let env = (env.constrs, env.constrlists) in
   CPatNotation (loc, notation, env, [])
 
-- 
cgit v1.2.3