Skip to content

Commit

Permalink
Adapt to coq/coq#19073 (univdecl_extensible_qualities)
Browse files Browse the repository at this point in the history
  • Loading branch information
SkySkimmer committed May 29, 2024
1 parent 1264341 commit 0b39697
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/coq_elpi_HOAS.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand All @@ -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;
Expand Down

0 comments on commit 0b39697

Please sign in to comment.