# HG changeset patch
# User bulwahn
# Date 1310587194 -7200
# Node ID 06094d789512cdb1daa0adf7d49c0d1494fcffdb
# Parent  534c5eb522a6cde7ad4ce987de13185d757c1d80
increasing timeout to avoid spurious failures

diff -r 534c5eb522a6 -r 06094d789512 src/HOL/ex/Quickcheck_Examples.thy
--- a/src/HOL/ex/Quickcheck_Examples.thy	Wed Jul 13 18:36:11 2011 +0200
+++ b/src/HOL/ex/Quickcheck_Examples.thy	Wed Jul 13 21:59:54 2011 +0200
@@ -21,6 +21,8 @@
 
 *}
 
+declare [[quickcheck_timeout = 3600]]
+
 subsection {* Lists *}
 
 theorem "map g (map f xs) = map (g o f) xs"