X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Ftactics%2FprimitiveTactics.ml;h=c9d68d9deccfe96770cf888097cfcc1797ec6a20;hb=2951babfd31047ac057714130157da2bc36e906e;hp=16cff94d7796493f52a05658332a8261f564be4f;hpb=e3f6d410ebe780d1b26a0bcf982ef900a94e95a7;p=helm.git

diff --git a/components/tactics/primitiveTactics.ml b/components/tactics/primitiveTactics.ml
index 16cff94d7..c9d68d9de 100644
--- a/components/tactics/primitiveTactics.ml
+++ b/components/tactics/primitiveTactics.ml
@@ -335,8 +335,7 @@ let apply_with_subst ~term ?(subst=[]) ?(maxmeta=0) status =
       (* TODO cacciare anche altre eccezioni? *)
   with 
   | CicUnification.UnificationFailure msg
-  | CicTypeChecker.TypeCheckerFailure msg ->
-      raise (Fail msg)
+  | CicTypeChecker.TypeCheckerFailure msg -> raise (Fail msg)
 
 (* ALB *)
 let apply_tac_verbose ~term status =