1.1 --- a/src/HOL/ex/Quickcheck_Examples.thy	Mon Jul 18 10:34:21 2011 +0200
     1.2 +++ b/src/HOL/ex/Quickcheck_Examples.thy	Mon Jul 18 11:38:14 2011 +0200
     1.3 @@ -361,7 +361,7 @@
     1.4  begin
     1.5  
     1.6  lemma "False"
     1.7 -quickcheck[expect = counterexample]
     1.8 +quickcheck[exhaustive, expect = counterexample]
     1.9  oops
    1.10  
    1.11  end