diff options
Diffstat (limited to 'tactics/class_tactics.mli')
| -rw-r--r-- | tactics/class_tactics.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tactics/class_tactics.mli b/tactics/class_tactics.mli index 0b74027c3..f64f708de 100644 --- a/tactics/class_tactics.mli +++ b/tactics/class_tactics.mli @@ -18,14 +18,14 @@ val get_typeclasses_debug : unit -> bool val set_typeclasses_depth : int option -> unit val get_typeclasses_depth : unit -> int option -val progress_evars : tactic -> tactic +val progress_evars : unit Proofview.tactic -> unit Proofview.tactic val typeclasses_eauto : ?only_classes:bool -> ?st:transparent_state -> Auto.hint_db_name list -> tactic -val head_of_constr : Id.t -> Term.constr -> tactic +val head_of_constr : Id.t -> Term.constr -> unit Proofview.tactic -val not_evar : constr -> tactic +val not_evar : constr -> unit Proofview.tactic val is_ground : constr -> tactic |