| changeset 60310 | 932221b62e89 |
| parent 58889 | 5b7a9633cfa8 |
| child 61076 | bdc1e2f0a86a |
--- 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"