X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FZ%2Fdirichlet_product.ma;h=a1cc3d18e9fdc81a39070fce6e39782fdc722b67;hb=9e02cc019ec9d8e5d3223e36e6b0be9f6411e0a5;hp=c4706378c24d82de8fa30ac1c3e44a5612fc880c;hpb=deec6d7e7a26f2165b17b95a932036325d9a47fe;p=helm.git

diff --git a/helm/software/matita/library/Z/dirichlet_product.ma b/helm/software/matita/library/Z/dirichlet_product.ma
index c4706378c..a1cc3d18e 100644
--- a/helm/software/matita/library/Z/dirichlet_product.ma
+++ b/helm/software/matita/library/Z/dirichlet_product.ma
@@ -162,7 +162,7 @@ apply (trans_eq ? ?
             [apply sym_eq.
              apply div_plus_times.
              assumption
-            |auto
+            |autobatch
             ]
           |apply lt_mod_m_m.
            assumption