More timeout added to autos here and there.

[helm.git] / helm / software / matita / contribs / CoRN / algebra / Setoids.ma

diff --git a/helm/software/matita/contribs/CoRN/algebra/Setoids.ma b/helm/software/matita/contribs/CoRN/algebra/Setoids.ma
index 6b7bf781ddfc429aff3a745393d48bed6b793a1a..5fc3725cc31307a560a4d404119a67d5b916cc6d 100644 (file)
--- a/helm/software/matita/contribs/CoRN/algebra/Setoids.ma
+++ b/helm/software/matita/contribs/CoRN/algebra/Setoids.ma
@@ -1248,7 +1248,7 @@ apply f. apply n1. apply m1.
 apply eq_symmetric_unfolded.assumption.
 apply eq_symmetric_unfolded.assumption.
 apply H.
-auto new.
+auto new timeout=100.
 qed.
 
 (*