changeset 45159 | 3f1d1ce024cb |
parent 44241 | 7943b69f0188 |
child 45420 | d17556b9a89b |
--- a/src/HOL/Tools/Quickcheck/random_generators.ML Sun Oct 16 21:49:47 2011 +0200 +++ b/src/HOL/Tools/Quickcheck/random_generators.ML Mon Oct 17 10:19:01 2011 +0200 @@ -438,7 +438,7 @@ end end; -val test_goals = Quickcheck.generator_test_goal_terms compile_generator_expr; +val test_goals = Quickcheck_Common.generator_test_goal_terms compile_generator_expr; (** setup **)