From 90c448900e236db71d670f75ee82b41729a61735 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 22 Jun 2011 09:32:36 +0000 Subject: [PATCH] Escaping exceptions are now captured. --- matita/components/ng_tactics/nTacStatus.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/matita/components/ng_tactics/nTacStatus.ml b/matita/components/ng_tactics/nTacStatus.ml index 99c35d7ff..271f9a040 100644 --- a/matita/components/ng_tactics/nTacStatus.ml +++ b/matita/components/ng_tactics/nTacStatus.ml @@ -29,9 +29,12 @@ let wrap fname f x = with | MultiPassDisambiguator.DisambiguationError _ | NCicRefiner.RefineFailure _ + | NCicRefiner.Uncertain _ | NCicUnification.UnificationFailure _ + | NCicUnification.Uncertain _ | NCicTypeChecker.TypeCheckerFailure _ - | NCicMetaSubst.MetaSubstFailure _ as exn -> fail ~exn (lazy fname) + | NCicMetaSubst.MetaSubstFailure _ + | NCicMetaSubst.Uncertain _ as exn -> fail ~exn (lazy fname) ;; class type g_eq_status = -- 2.39.2