X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaExcPp.ml;h=5117b091f9687eef053fe9181bf3476e023e112a;hb=d9a1ff8259a7882caa0ffd27282838c00a34cab5;hp=da46ed88c5029d7a3dd43ea3bbdf446accfb1f26;hpb=a8648828c3546e3ad7cf474ba4a87c2faa245b9f;p=helm.git

diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml
index da46ed88c..5117b091f 100644
--- 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))