
diff -r 4a929b0630c3 -r 252ed2fc384d src/HOL/Nitpick_Examples/Refute_Nits.thy
--- a/src/HOL/Nitpick_Examples/Refute_Nits.thy	Tue Apr 19 11:56:11 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Refute_Nits.thy	Tue Apr 19 12:21:57 2011 +0200
@@ -491,7 +491,6 @@
 
 lemma "(x\<Colon>nat) < x + y"
 nitpick [card = 1, expect = genuine]
-nitpick [card = 2-5, expect = genuine]
 oops
 
 text {* \<times> *}




