From bf13037e9ca39da28fb648e5488ce56ef8a1f1e2 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 17 Jan 2017 15:06:26 +0100
Subject: [location] Use located in misctypes.

---
 parsing/g_prim.ml4 | 2 +-
 parsing/pcoq.mli   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'parsing')

diff --git a/parsing/g_prim.ml4 b/parsing/g_prim.ml4
index 2af4ed533b..ed6a8df4e6 100644
--- a/parsing/g_prim.ml4
+++ b/parsing/g_prim.ml4
@@ -81,7 +81,7 @@ GEXTEND Gram
       ] ]
   ;
   by_notation:
-    [ [ s = ne_string; sc = OPT ["%"; key = IDENT -> key ] -> (!@loc, s, sc) ] ]
+    [ [ s = ne_string; sc = OPT ["%"; key = IDENT -> key ] -> Loc.tag ~loc:!@loc (s, sc) ] ]
   ;
   smart_global:
     [ [ c = reference -> Misctypes.AN c
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index 4248db697a..959e8ddf52 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -206,7 +206,7 @@ module Prim :
     val qualid : qualid located Gram.entry
     val fullyqualid : Id.t list located Gram.entry
     val reference : reference Gram.entry
-    val by_notation : (Loc.t * string * string option) Gram.entry
+    val by_notation : (string * string option) Loc.located Gram.entry
     val smart_global : reference or_by_notation Gram.entry
     val dirpath : DirPath.t Gram.entry
     val ne_string : string Gram.entry
-- 
cgit v1.2.3