From: Claudio Sacerdoti Coen Date: Thu, 3 Nov 2005 11:14:48 +0000 (+0000) Subject: More exceptions pretty printed. X-Git-Tag: V_0_7_2_3~151 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=82d56e6d22560ffb111c63cfdf0e200c8fa6fd3d;p=helm.git More exceptions pretty printed. --- diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml index a80d0a2fb..adf35d92f 100644 --- a/helm/matita/matitaExcPp.ml +++ b/helm/matita/matitaExcPp.ml @@ -51,5 +51,7 @@ let to_string = fname | ProofEngineTypes.Fail msg -> "Tactic error: " ^ Lazy.force msg | Continuationals.Error s -> "Tactical error: " ^ Lazy.force s + | CicTypeChecker.TypeCheckerFailure msg -> + "Type checking error: " ^ Lazy.force msg | exn -> "Uncaught exception: " ^ Printexc.to_string exn