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

diff --git a/matita/library/Z/dirichlet_product.ma b/matita/library/Z/dirichlet_product.ma
index c4706378c..a1cc3d18e 100644
--- a/matita/library/Z/dirichlet_product.ma
+++ b/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