diff options
| -rw-r--r-- | toplevel/cerrors.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index a34afda50f..13712ebbed 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -146,10 +146,13 @@ let explain_exn_default = let raise_if_debug e = if !Flags.debug then raise e -let _ = Tactic_debug.explain_logic_error := explain_exn_default +let _ = Tactic_debug.explain_logic_error := + (fun e -> explain_exn_default (process_vernac_interp_error e)) let _ = Tactic_debug.explain_logic_error_no_anomaly := - explain_exn_default_aux (fun () -> mt()) (fun () -> str ".") + (fun e -> + explain_exn_default_aux mt (fun () -> str ".") + (process_vernac_interp_error e)) let explain_exn_function = ref explain_exn_default |