--- a/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy Wed Jul 20 08:16:36 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy Wed Jul 20 08:16:38 2011 +0200
@@ -19,7 +19,7 @@
declare size_list_def[symmetric, code_pred_inline]
-setup {* Context.theory_map (Quickcheck.add_generator ("prolog", Code_Prolog.quickcheck)) *}
+setup {* Context.theory_map (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals))) *}
datatype alphabet = a | b