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 62c2359b65..74c8314873 100644 --- a/proofs/tactic_debug.mli +++ b/proofs/tactic_debug.mli @@ -78,4 +78,4 @@ val db_logic_failure : debug_info -> exn -> unit (** Prints a logic failure message for a rule *) val db_breakpoint : debug_info -> - identifier Util.located message_token list -> unit + identifier Pp.located message_token list -> unit |