# HG changeset patch
# User bulwahn
# Date 1311142598 -7200
# Node ID 003f8c5f3e379f5c8a9241887067ebc639cae673
# Parent  13e6a4e702195f200f0fe26d116f02377d69790e
adapting example in Predicate_Compile_Examples

diff -r 13e6a4e70219 -r 003f8c5f3e37 src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy
--- 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