From efaf1cf1c47370ab23db190fc4c2c1f3ad05323e Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 19 Jan 2017 12:45:27 +0100 Subject: Improve wording of normal backtrace case Bug 19872 --- cparser/Cerrors.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'cparser/Cerrors.ml') diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index f0b6bbbe..c7b791e0 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -361,6 +361,8 @@ let crash exn = rc (Printexc.to_string exn) Version.buildnr Version.tag rsc; exit 2 end else begin - Printexc.print_backtrace stderr; + let backtrace = Printexc.get_backtrace () + and exc = Printexc.to_string exn in + eprintf "Fatal error: uncaught exception %s\n%s" exc backtrace; exit 2 end -- cgit