From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 1 Jun 2011 11:34:24 +0000 (+0000)
Subject: Print backtrace of exceptions when OCAMLRUNPARAM=b is setted.
X-Git-Tag: make_still_working~2474
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1319bb002c3092e803477f6f7f6f0fa73c2fd6fb;p=helm.git

Print backtrace of exceptions when OCAMLRUNPARAM=b is setted.
---

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 ())