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