src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy

 quickcheck[random, report = true, expect = no_counterexample]
 oops
 
 text {* with the simple testing scheme *}
 
-setup {* Exhaustive_Generators.setup_exhaustive_datatype_interpretation *}
+setup Exhaustive_Generators.setup_exhaustive_datatype_interpretation
 declare [[quickcheck_full_support = false]]
 
 lemma
   "xs = [] ==> hd xs \<noteq> x"
 quickcheck[exhaustive, expect = no_counterexample]