diff options
Diffstat (limited to 'tactics/tacticals.mli')
-rw-r--r-- | tactics/tacticals.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tactics/tacticals.mli b/tactics/tacticals.mli index 312e5cb49..f1e8a3403 100644 --- a/tactics/tacticals.mli +++ b/tactics/tacticals.mli @@ -236,6 +236,7 @@ module New : sig val tclREPEAT_MAIN : unit tactic -> unit tactic val tclCOMPLETE : 'a tactic -> 'a tactic val tclSOLVE : unit tactic list -> unit tactic + val tclPROGRESS : unit tactic -> unit tactic val tclWITHHOLES : bool -> ('a -> unit tactic) -> Evd.evar_map -> 'a -> unit tactic val tclTIMEOUT : int -> unit tactic -> unit tactic |