X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnTactics.ml;fp=matita%2Fcomponents%2Fng_tactics%2FnTactics.ml;h=ed98b6d1e46e292bb711c3c1a621b4bc51b4873d;hb=3fab56d1663ba3d5aeb9207612279e0bb0edbb8c;hp=3ef2dbe5b0c331a122e57137fadab9ec44242379;hpb=dd627e471392375ca7b6dad78a931a8682e06dbe;p=helm.git

diff --git a/matita/components/ng_tactics/nTactics.ml b/matita/components/ng_tactics/nTactics.ml
index 3ef2dbe5b..ed98b6d1e 100644
--- a/matita/components/ng_tactics/nTactics.ml
+++ b/matita/components/ng_tactics/nTactics.ml
@@ -53,7 +53,7 @@ let branch_tac ?(force=false) status =
     | (g, t, k, tag) :: s ->
           match init_pos g with (* TODO *)
           | [] -> fail (lazy "empty goals")
-	  | [_] when (not force) -> fail (lazy "too few goals to branch")
+          | [_] when (not force) -> fail (lazy "too few goals to branch")
           | loc :: loc_tl ->
                ([ loc ], [], [], `BranchTag) :: (loc_tl, t, k, tag) :: s
   in