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.
---
 interp/constrextern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/constrextern.ml')

diff --git a/interp/constrextern.ml b/interp/constrextern.ml
index b3059f5d04..d45f3a9f1f 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -749,7 +749,7 @@ let rec extern inctx scopes vars r =
                    | Name _, _ -> Some (Loc.ghost,na) in
                  (sub_extern false scopes vars tm,
                   na',
-                  Option.map (fun (loc,ind,nal) ->
+                  Option.map (fun (loc,(ind,nal)) ->
                               let args = List.map (fun x -> Loc.tag @@ PatVar x) nal in
                               let fullargs = add_cpatt_for_params ind args in
                               extern_ind_pattern_in_scope scopes vars ind fullargs
-- 
cgit v1.2.3