From 90c820123fc27fb7e57bd8b537a99d35f9de9a31 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 31 May 2007 14:57:52 +0000 Subject: [PATCH] More exceptions pretty-printed. --- matita/matitaExcPp.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/matita/matitaExcPp.ml b/matita/matitaExcPp.ml index 8ed272454..c3c78929f 100644 --- a/matita/matitaExcPp.ml +++ b/matita/matitaExcPp.ml @@ -54,6 +54,8 @@ let rec to_string = fname | ProofEngineTypes.Fail msg -> None, "Tactic error: " ^ Lazy.force msg | Continuationals.Error s -> None, "Tactical error: " ^ Lazy.force s + | ProofEngineHelpers.Bad_pattern msg -> + None, "Bad pattern: " ^ Lazy.force msg | CicRefine.RefineFailure msg -> None, "Refiner error: " ^ Lazy.force msg | CicTypeChecker.TypeCheckerFailure msg -> -- 2.39.2