diff options
| author | Maxime Dénès | 2018-05-31 10:59:24 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-05-31 10:59:24 +0200 |
| commit | ac8a84e3b4dc530b000e17b72c7e26f7a957420f (patch) | |
| tree | baf58d74b6629034cecb577eade044f29313cc4d /engine/evarutil.mli | |
| parent | 22db6304ffd45d7ae6e4a0acf909afb1ec55d02c (diff) | |
| parent | 0dc79e09b2b7c369b35191191aa257451a536540 (diff) | |
Merge PR #6969: [api] Remove functions deprecated in 8.8
Diffstat (limited to 'engine/evarutil.mli')
| -rw-r--r-- | engine/evarutil.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/engine/evarutil.mli b/engine/evarutil.mli index 3ab2d3e348..f271c14ea2 100644 --- a/engine/evarutil.mli +++ b/engine/evarutil.mli @@ -259,12 +259,6 @@ val subterm_source : Evar.t -> ?where:Evar_kinds.subevar_kind -> Evar_kinds.t Lo val meta_counter_summary_tag : int Summary.Dyn.tag -(** Deprecated *) -type type_constraint = types option -[@@ocaml.deprecated "use the version in Evardefine"] -type val_constraint = constr option -[@@ocaml.deprecated "use the version in Evardefine"] - val e_new_evar : env -> evar_map ref -> ?src:Evar_kinds.t Loc.located -> ?filter:Filter.t -> ?candidates:constr list -> ?store:Store.t -> |