Print backtrace of exceptions when OCAMLRUNPARAM=b is setted.

diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml
index 5134f403964195b9739ba6d22b4afa42dee1188f..5b9cb434740e3cc194150c7717c0dc00d770ad98 100644 (file)
--- 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 ())