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

diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml
index da46ed88c..b0a5c7f12 100644
--- a/matita/matita/matitaExcPp.ml
+++ b/matita/matita/matitaExcPp.ml
@@ -124,7 +124,7 @@ let rec to_string exn =
   | GrafiteTypes.Command_error msg -> None, "Error: " ^ msg
   | CicNotationParser.Parse_error err ->
       None, sprintf "Parse error: %s" err
-  | Unix.Unix_error (code, api, param) ->
+  | Unix.Unix_error (code, api, _param) ->
       let err = Unix.error_message code in
       None, "Unix Error (" ^ api ^ "): " ^ err
   | HMarshal.Corrupt_file fname -> None, sprintf "file '%s' is corrupt" fname
@@ -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))