increased a timeout, matitac (not .opt) should be able to do it in time

diff --git a/helm/software/matita/library/demo/power_derivative.ma b/helm/software/matita/library/demo/power_derivative.ma
index 9e59079bd8daf9489fc66a5d1fb1befc3a352ad5..0526a016342797139d3bc850eeb2311b923b54ca 100644 (file)
--- 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=30)
+   = ((1+m) · x \sup m) by _ (timeout=60)
   done.
 qed.