diff options
Diffstat (limited to 'debugger/envaux.ml')
| -rw-r--r-- | debugger/envaux.ml | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/debugger/envaux.ml b/debugger/envaux.ml index 352ea4909..ba8d6dff5 100644 --- a/debugger/envaux.ml +++ b/debugger/envaux.ml @@ -76,12 +76,8 @@ let env_of_event = (* Error report *) -open Formatmsg +open Format -let report_error error = - open_box 0; - begin match error with - Module_not_found p -> - print_string "Cannot find module "; Printtyp.path p - end; - close_box(); print_newline() +let report_error ppf = function + | Module_not_found p -> + fprintf ppf "@[Cannot find module %a@].@." Printtyp.path p |