Remove use of Printexc.catch from debugger

Allow the runtime to display details of any uncaught exception (with
backtraces, if enabled). Unix.handle_unix_error is still used to convert
errors from system calls to a less unmeaningful form.
master
David Allsopp 2019-10-19 10:38:48 +01:00
parent e2f278c7a4
commit 37acb3bf24
1 changed files with 1 additions and 1 deletions

View File

@ -245,4 +245,4 @@ let main () =
exit 2
let _ =
Printexc.catch (Unix.handle_unix_error main) ()
Unix.handle_unix_error main ()