From 1319bb002c3092e803477f6f7f6f0fa73c2fd6fb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 1 Jun 2011 11:34:24 +0000 Subject: [PATCH] Print backtrace of exceptions when OCAMLRUNPARAM=b is setted. --- matita/matita/matitaExcPp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml index 5134f4039..5b9cb4347 100644 --- a/matita/matita/matitaExcPp.ml +++ b/matita/matita/matitaExcPp.ml @@ -236,5 +236,5 @@ let rec to_string = loc, "********** DISAMBIGUATION ERRORS: **********\n" ^ explain (aux errorll) - | exn -> None, "Uncaught exception: " ^ Printexc.to_string exn + | exn -> None, ("Uncaught exception: " ^ Printexc.to_string exn ^ Printexc.get_backtrace ()) -- 2.39.2