Commit a8fe9a2b authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix display of error messages.

Before:
File "b/../b.why", line 7, characters 36-37This term has type int but is expected to have type real

After:
File "b/../b.why", line 7, characters 36-37:
This term has type int but is expected to have type real
parent 5a0914d6
......@@ -86,6 +86,6 @@ let string =
let () = Exn_printer.register
(fun fmt exn -> match exn with
| Located (loc,e) ->
fprintf fmt "%a%a@\n" gen_report_position loc Exn_printer.exn_printer e
fprintf fmt "%a:@\n%a@\n" gen_report_position loc Exn_printer.exn_printer e
| _ -> raise exn)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment