From 630e4146e14848db27b89d1467c5120d46530bce Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 9 Jul 2007 09:58:45 +0000
Subject: [PATCH] auto->autobatch

---
 matita/tests/multiple_inheritance.ma | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/tests/multiple_inheritance.ma b/matita/tests/multiple_inheritance.ma
index 614f57ca9..413c42d44 100644
--- a/matita/tests/multiple_inheritance.ma
+++ b/matita/tests/multiple_inheritance.ma
@@ -50,5 +50,5 @@ axiom mult_idempotent: ∀r2:R2.∀x:r2. mult ? x x = x.
 lemma test: ∀r:R. ∀x:r. f ? x = x.
  intros;
  unfold f;
- auto paramodulation.
+ autobatch paramodulation.
 qed.
\ No newline at end of file
-- 
2.39.2