Most warnings turned into errors and avoided

[helm.git] / matita / matita / matitaExcPp.ml

diff --git a/matita/matita/matitaExcPp.ml b/matita/matita/matitaExcPp.ml
index da46ed88c5029d7a3dd43ea3bbdf446accfb1f26..b0a5c7f12cbf91acb1e251c76d039cf564cf9309 100644 (file)
--- 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))