From b7c9ba2c678228593450ecdf272ff71facbc6a6e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 27 Sep 2020 10:48:29 +0200
Subject: Add location in existential variable names (CEvar/GEvar).

---
 user-contrib/Ltac2/tac2quote.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'user-contrib')

diff --git a/user-contrib/Ltac2/tac2quote.ml b/user-contrib/Ltac2/tac2quote.ml
index b346b3ee5c..90f8008dc2 100644
--- a/user-contrib/Ltac2/tac2quote.ml
+++ b/user-contrib/Ltac2/tac2quote.ml
@@ -229,7 +229,7 @@ let check_pattern_id ?loc id =
 let pattern_vars pat =
   let rec aux () accu pat = match pat.CAst.v with
   | Constrexpr.CPatVar id
-  | Constrexpr.CEvar (id, []) ->
+  | Constrexpr.CEvar ({CAst.v=id}, []) ->
     let loc = pat.CAst.loc in
     let () = check_pattern_id ?loc id in
     Id.Map.add id loc accu
-- 
cgit v1.2.3