From be83b52cf50ed4c596e40cfd52da03258a7a4a18 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 16 Jan 2017 13:22:42 +0100
Subject: [location] Move Glob_term.predicate_pattern to located.

We continue the uniformization pass. No big news here, trying to be
minimally invasive.
---
 intf/glob_term.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'intf')

diff --git a/intf/glob_term.mli b/intf/glob_term.mli
index 5e771245c9..7a43c44f9b 100644
--- a/intf/glob_term.mli
+++ b/intf/glob_term.mli
@@ -67,7 +67,7 @@ and fix_kind =
   | GCoFix of int
 
 and predicate_pattern =
-    Name.t * (Loc.t * inductive * Name.t list) option
+    Name.t * (inductive * Name.t list) Loc.located option
       (** [(na,id)] = "as 'na' in 'id'" where if [id] is [Some(l,I,k,args)]. *)
 
 and tomatch_tuple = (glob_constr * predicate_pattern)
-- 
cgit v1.2.3