1.1 --- a/src/HOL/Tools/Quickcheck/random_generators.ML	Mon Jul 18 10:34:21 2011 +0200
     1.2 +++ b/src/HOL/Tools/Quickcheck/random_generators.ML	Mon Jul 18 10:34:21 2011 +0200
     1.3 @@ -438,7 +438,7 @@
     1.4        end
     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