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.

---
 interp/constrintern.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'interp/constrintern.ml')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index fb11359e3c..0e56020783 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1208,7 +1208,7 @@ let drop_notations_pattern looked_for =
       if top then looked_for g else
       match g with ConstructRef _ -> () | _ -> raise Not_found
     with Not_found ->
-      error_invalid_pattern_notation ~loc
+      error_invalid_pattern_notation ~loc ()
   in
   let test_kind top =
     if top then looked_for else function ConstructRef _ -> () | _ -> raise Not_found
@@ -1349,7 +1349,7 @@ let drop_notations_pattern looked_for =
     | NHole _ ->
       let () = assert (List.is_empty args) in
       RCPatAtom (loc, None)
-    | t -> error_invalid_pattern_notation ~loc
+    | t -> error_invalid_pattern_notation ~loc ()
   in in_pat true
 
 let rec intern_pat genv aliases pat =
-- 
cgit v1.2.3