From efb3a9c74e44f0b3ad847d79920e9b58a49e67a7 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 3 Jun 2011 08:53:47 +0000 Subject: [PATCH] Pretty printing of exceptions escaped from pretty printing of exceptions improved. --- matita/matita/matitaExcPp.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)) -- 2.39.2