diff options
Diffstat (limited to 'toplevel/classes.mli')
| -rw-r--r-- | toplevel/classes.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/classes.mli b/toplevel/classes.mli index 5a0dc97c2..a8e611928 100644 --- a/toplevel/classes.mli +++ b/toplevel/classes.mli @@ -53,7 +53,7 @@ val new_instance : typeclass_constraint -> constr_expr option -> ?generalize:bool -> - ?tac:Proof_type.tactic -> + ?tac:unit Proofview.tactic -> ?hook:(Globnames.global_reference -> unit) -> int option -> Id.t @@ -74,4 +74,4 @@ val context : local_binder list -> bool (** Forward ref for refine *) -val refine_ref : (open_constr -> Proof_type.tactic) ref +val refine_ref : (open_constr -> unit Proofview.tactic) ref |