diff options
Diffstat (limited to 'toplevel/obligations.mli')
-rw-r--r-- | toplevel/obligations.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/obligations.mli b/toplevel/obligations.mli index 081871fce..df9b53df5 100644 --- a/toplevel/obligations.mli +++ b/toplevel/obligations.mli @@ -33,8 +33,8 @@ val check_evars : env -> evar_map -> unit val mkMetas : int -> constr list -val evar_dependencies : evar_map -> int -> Int.Set.t -val sort_dependencies : (int * evar_info * Int.Set.t) list -> (int * evar_info * Int.Set.t) 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 (* env, id, evars, number of function prototypes to try to clear from evars contexts, object and type *) |