diff options
Diffstat (limited to 'toplevel/obligations.mli')
| -rw-r--r-- | toplevel/obligations.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toplevel/obligations.mli b/toplevel/obligations.mli index feebf94ec4..04292422cc 100644 --- a/toplevel/obligations.mli +++ b/toplevel/obligations.mli @@ -31,8 +31,6 @@ val declare_definition_ref : val check_evars : env -> evar_map -> unit -val mkMetas : int -> constr list - val evar_dependencies : evar_map -> Evar.t -> Evar.Set.t val sort_dependencies : (Evar.t * evar_info * Evar.Set.t) list -> (Evar.t * evar_info * Evar.Set.t) list |