auto --> autobatch

[helm.git] / helm / software / matita / dama / ordered_sets.ma

diff --git a/helm/software/matita/dama/ordered_sets.ma b/helm/software/matita/dama/ordered_sets.ma
index 1ca191339b697514c39b171ed9111ef8c6a1003c..62b9348659674a35114f6213157f2c20573ad552 100644 (file)
--- a/helm/software/matita/dama/ordered_sets.ma
+++ b/helm/software/matita/dama/ordered_sets.ma
@@ -330,7 +330,7 @@ theorem tail_inf_increasing:
       assumption
     | unfold y;
       simplify;
-      auto paramodulation library
+      autobatch paramodulation library
     ]
  ].
 qed.