diff options
Diffstat (limited to 'proofs/tactic_debug.mli')
| -rw-r--r-- | proofs/tactic_debug.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/tactic_debug.mli b/proofs/tactic_debug.mli index 8c5dc9d03c..82f01f461b 100644 --- a/proofs/tactic_debug.mli +++ b/proofs/tactic_debug.mli @@ -54,7 +54,7 @@ val db_hyp_pattern_failure : val db_matching_failure : debug_info -> unit (* Prints an evaluation failure message for a rule *) -val db_eval_failure : debug_info -> unit +val db_eval_failure : debug_info -> string -> unit (* An exception handler *) val explain_logic_error: (exn -> Pp.std_ppcmds) ref |