From ce3f9f57fb6b10017d13514995fc8d7de08be6cf 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 2206c99c..3fa30b59 100644 --- a/controller/rq_hover.ml +++ b/controller/rq_hover.ml @@ -17,7 +17,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 0706df54..a50f49d0 160000 --- a/vendor/coq +++ b/vendor/coq @@ -1 +1 @@ -Subproject commit 0706df547ac97055fafe89425141555c8de3b649 +Subproject commit a50f49d072177f7442eed1ce1e7bbecc798d5198 diff --git a/vendor/coq-serapi b/vendor/coq-serapi index e0a79cd9..4bbd657e 160000 --- a/vendor/coq-serapi +++ b/vendor/coq-serapi @@ -1 +1 @@ -Subproject commit e0a79cd9f1028c94952cf97d0c2b29ed8204332b +Subproject commit 4bbd657ef245a711cb1ac63adea34144dff39be3