Pretty printing of exceptions escaped from pretty printing of exceptions

improved.

diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml
index da46ed88c5029d7a3dd43ea3bbdf446accfb1f26..5117b091f9687eef053fe9181bf3476e023e112a 100644 (file)
--- a/matita/matita/matitaExcPp.ml
+++ b/matita/matita/matitaExcPp.ml
@@ -241,4 +241,5 @@ let rec to_string exn =
         explain (aux errorll)
   | exn -> None, ("Uncaught exception: " ^ Printexc.to_string exn ^ Printexc.get_backtrace ()))
  with exn ->
-  None, ("Exception raised during pretty-printing of an exception: " ^ Printexc.to_string exn ^ Printexc.get_backtrace ())
+  None, ("Exception raised during pretty-printing of an exception: " ^
+   snd (to_string exn))