X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.ml;h=e044cd3bf2d194a467036480d6fe0525904c2515;hb=8464b71fdd68fade06484512b31077ff1a5a796a;hp=a384d54d56259f89952a7a14f8d013022cee568a;hpb=c48caa0775b4e9b95b27e20fca4bccb4e08134c2;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTactics.ml b/helm/software/components/ng_tactics/nTactics.ml
index a384d54d5..e044cd3bf 100644
--- a/helm/software/components/ng_tactics/nTactics.ml
+++ b/helm/software/components/ng_tactics/nTactics.ml
@@ -613,3 +613,8 @@ let auto ~params:(l,_) status goal =
 let auto_tac ~params status =
   distribute_tac (auto ~params) status
 ;;
+
+let rec repeat_tac t status =
+  try repeat_tac t (atomic_tac t status)
+  with NTacStatus.Error _ -> status
+;;