src/HOL/Tools/Quickcheck/exhaustive_generators.ML

     Code_Runtime.dynamic_value_strict
       (Validator_Batch.get, put_validator_batch, "Exhaustive_Generators.put_validator_batch")
       thy (SOME target) (K I) (HOLogic.mk_list @{typ "code_numeral => bool"} ts') []
   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 *)
 
 val active = Attrib.setup_config_bool @{binding quickcheck_exhaustive_active} (K true);