From 15ab2869ab700d21c59c5a272721b5bba1d2b8ee Mon Sep 17 00:00:00 2001 From: lduboisd Date: Fri, 10 Dec 2021 17:55:46 +0100 Subject: verit timeout --- src/verit/verit.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/verit/verit.mli') diff --git a/src/verit/verit.mli b/src/verit/verit.mli index f0acd0c..654de07 100644 --- a/src/verit/verit.mli +++ b/src/verit/verit.mli @@ -19,5 +19,5 @@ val parse_certif : val checker : string -> string -> unit val checker_debug : string -> string -> unit val theorem : CoqInterface.id -> string -> string -> unit -val tactic : EConstr.t -> CoqInterface.constr_expr list -> CoqInterface.tactic -val tactic_no_check : EConstr.t -> CoqInterface.constr_expr list -> CoqInterface.tactic +val tactic : int option -> EConstr.t -> CoqInterface.constr_expr list -> CoqInterface.tactic +val tactic_no_check : int option -> EConstr.t -> CoqInterface.constr_expr list -> CoqInterface.tactic -- cgit