X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.ml;fp=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.ml;h=29683eea5c721f412b08e9c7ba584862bcade754;hb=e8164f9de889435794efac0fa83fc7b9b766428f;hp=d1e6dc781824d3d894379fe9083ed09c11f22504;hpb=d78c800805af2b4b7718a8af9b533592b88cd6ea;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTactics.ml b/helm/software/components/ng_tactics/nTactics.ml
index d1e6dc781..29683eea5 100644
--- a/helm/software/components/ng_tactics/nTactics.ml
+++ b/helm/software/components/ng_tactics/nTactics.ml
@@ -261,10 +261,13 @@ let repeat_tac t s =
 
 
 let try_tac tac status =
+ let try_tac status =
   try
     tac status
   with NTacStatus.Error _ ->
     status
+ in
+  atomic_tac try_tac status
 ;;
 
 let first_tac tacl status =