
diff -r 8a09dfeb2cec -r 6bc725d60593 src/HOL/Nitpick_Examples/Manual_Nits.thy
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 20 07:44:23 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 20 10:14:24 2011 +0200
@@ -70,7 +70,7 @@
 oops
 
 lemma "\<forall>n. Suc n \<noteq> n \<Longrightarrow> P"
-nitpick [card nat = 100, check_potential, expect = genuine]
+nitpick [card nat = 100, check_potential, tac_timeout = 5, expect = genuine]
 oops
 
 lemma "P Suc"




