From 4cd466eba7f7c74c959bd10a7d2e5dce1517e729 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Fri, 22 Sep 2023 15:53:52 +0200 Subject: [PATCH] [upstream] Adapt to coq/coq#17836 (sort poly) --- controller/rq_hover.ml | 2 +- vendor/coq | 2 +- vendor/coq-serapi | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/controller/rq_hover.ml b/controller/rq_hover.ml index 77e60aefd..d2e9f95bf 100644 --- a/controller/rq_hover.ml +++ b/controller/rq_hover.ml @@ -20,7 +20,7 @@ type id_info = let info_of_ind env sigma ((sp, i) : Names.Ind.t) = let mib = Environ.lookup_mind sp env in let u = - Univ.make_abstract_instance (Declareops.inductive_polymorphic_context mib) + UVars.make_abstract_instance (Declareops.inductive_polymorphic_context mib) in let mip = mib.Declarations.mind_packets.(i) in let paramdecls = Inductive.inductive_paramdecls (mib, u) in diff --git a/vendor/coq b/vendor/coq index a29869489..a50f49d07 160000 --- a/vendor/coq +++ b/vendor/coq @@ -1 +1 @@ -Subproject commit a2986948946140f0c3505b92ada51ae96456218b +Subproject commit a50f49d072177f7442eed1ce1e7bbecc798d5198 diff --git a/vendor/coq-serapi b/vendor/coq-serapi index 556b4e94b..4bbd657ef 160000 --- a/vendor/coq-serapi +++ b/vendor/coq-serapi @@ -1 +1 @@ -Subproject commit 556b4e94b79880ac2318f0f09dab9202575a9772 +Subproject commit 4bbd657ef245a711cb1ac63adea34144dff39be3