--- a/src/HOL/ex/Quickcheck_Examples.thy Wed Jul 20 00:37:42 2011 +0200
+++ b/src/HOL/ex/Quickcheck_Examples.thy Wed Jul 20 08:16:32 2011 +0200
@@ -350,7 +350,7 @@
begin
lemma "False"
-quickcheck[expect = no_counterexample]
+quickcheck[exhaustive, expect = no_counterexample]
oops
end