1.1 --- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Mon Jul 18 10:34:21 2011 +0200
     1.2 +++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Mon Jul 18 10:34:21 2011 +0200
     1.3 @@ -488,7 +488,7 @@
     1.4        thy (SOME target) (K I) (HOLogic.mk_list @{typ "code_numeral => bool"} ts') []
     1.5    end;
     1.6  
     1.7 -val test_goals = Quickcheck.generator_test_goal_terms;
     1.8 +val test_goals = Quickcheck.generator_test_goal_terms compile_generator_expr;
     1.9    
    1.10  (* setup *)
    1.11