From 0b396973eb6762d883e1f7d084f112526cbac6ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Wed, 29 May 2024 15:27:53 +0200
Subject: [PATCH] Adapt to coq/coq#19073 (univdecl_extensible_qualities)

---
 src/coq_elpi_HOAS.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/coq_elpi_HOAS.ml b/src/coq_elpi_HOAS.ml
index 5ff913d3c..e63c333ea 100644
--- a/src/coq_elpi_HOAS.ml
+++ b/src/coq_elpi_HOAS.ml
@@ -2761,6 +2761,7 @@ let poly_cumul_udecl_variance_of_options state options =
     let open UState in
     state, true, true,
     { univdecl_qualities = [];
+      univdecl_extensible_qualities = false;
       univdecl_extensible_instance;
       univdecl_extensible_constraints;
       univdecl_constraints;
@@ -2772,6 +2773,7 @@ let poly_cumul_udecl_variance_of_options state options =
     let open UState in
     state, true, false,
     { univdecl_qualities = [];
+      univdecl_extensible_qualities = false;
       univdecl_extensible_instance;
       univdecl_extensible_constraints;
       univdecl_constraints;