# HG changeset patch
# User bulwahn
# Date 1322478807 -3600
# Node ID c2c647a4c237e583a7d20ebcbc6cee0c9a349116
# Parent  862d68ee10f3be11d794291e37d141c3919e2f7e
increasing timeout to avoid test failures

diff -r 862d68ee10f3 -r c2c647a4c237 src/HOL/ex/Quickcheck_Narrowing_Examples.thy
--- a/src/HOL/ex/Quickcheck_Narrowing_Examples.thy	Sun Nov 27 23:12:03 2011 +0100
+++ b/src/HOL/ex/Quickcheck_Narrowing_Examples.thy	Mon Nov 28 12:13:27 2011 +0100
@@ -98,7 +98,7 @@
 
 lemma
   "list_all2 P (rev xs) (rev ys) = list_all2 P xs (rev ys)"
-  quickcheck[tester = narrowing, finite_types = false, expect = counterexample]
+  quickcheck[tester = narrowing, finite_types = false, expect = counterexample, timeout = 60]
 oops
 
 lemma "map f xs = F f xs"