
diff -r 72364a93bcb5 -r 932221b62e89 src/HOL/Nitpick_Examples/Manual_Nits.thy
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Fri May 29 17:17:50 2015 +0200
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Fri May 29 17:56:43 2015 +0200
@@ -74,7 +74,7 @@
 oops
 
 lemma "\<forall>n. Suc n \<noteq> n \<Longrightarrow> P"
-nitpick [card nat = 100, check_potential, tac_timeout = 5, expect = genuine]
+nitpick [card nat = 100, expect = potential]
 oops
 
 lemma "P Suc"




