From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 11 Jan 2008 14:10:06 +0000 (+0000)
Subject: increased timout
X-Git-Tag: make_still_working~5686
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5db568e9709437a8ad077130e43ed090970ac1dc;p=helm.git

increased timout
---

diff --git a/helm/software/matita/library/demo/power_derivative.ma b/helm/software/matita/library/demo/power_derivative.ma
index 0526a0163..e910c8b6a 100644
--- a/helm/software/matita/library/demo/power_derivative.ma
+++ b/helm/software/matita/library/demo/power_derivative.ma
@@ -283,7 +283,7 @@ theorem derivative_power: ∀n:nat. D[x \sup n] = n·x \sup (pred n).
 clear H.
    = (x \sup m + m · (x \sup (1 + pred m))) by _.
    = (x \sup m + m · x \sup m) by _.
-   = ((1+m) · x \sup m) by _ (timeout=60)
+   = ((1+m) · x \sup m) by _ (timeout=120)
   done.
 qed.
 
@@ -327,4 +327,4 @@ clear H.
    = (x \sup (1+m) + costante (1+m) · x \sup (1+m)) by _.
    = (x \sup (1+m) · (costante (2 + m))) by _
   done.
-qed.
\ No newline at end of file
+qed.