diff options
Diffstat (limited to 'API/API.mli')
| -rw-r--r-- | API/API.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/API/API.mli b/API/API.mli index 83f4a3c50..bb644c388 100644 --- a/API/API.mli +++ b/API/API.mli @@ -2308,7 +2308,7 @@ sig val universe_context_set : evar_map -> Univ.ContextSet.t val evar_ident : evar -> evar_map -> Names.Id.t option val extract_all_conv_pbs : evar_map -> evar_map * evar_constraint list - val universe_context : ?names:(Names.Id.t Loc.located) list -> evar_map -> + val universe_context : names:(Names.Id.t Loc.located) list -> extensible:bool -> evar_map -> (Names.Id.t * Univ.Level.t) list * Univ.UContext.t val nf_constraints : evar_map -> evar_map val from_ctx : UState.t -> evar_map |