# HG changeset patch
# User bulwahn
# Date 1311229895 -7200
# Node ID 768c70befd59cfa0099a7f51459940b907074369
# Parent  127749bbc6390bc7cf65a344464ed251766c38da
adapting two examples in Predicate_Compile_Examples

diff -r 127749bbc639 -r 768c70befd59 src/HOL/Predicate_Compile_Examples/Lambda_Example.thy
--- a/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy	Wed Jul 20 23:47:27 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy	Thu Jul 21 08:31:35 2011 +0200
@@ -79,7 +79,7 @@
 
 section {* Manual setup to find counterexample *}
 
-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))) *}
 
 setup {* Code_Prolog.map_code_options (K 
   { ensure_groundness = true,
diff -r 127749bbc639 -r 768c70befd59 src/HOL/Predicate_Compile_Examples/List_Examples.thy
--- a/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Wed Jul 20 23:47:27 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/List_Examples.thy	Thu Jul 21 08:31:35 2011 +0200
@@ -5,7 +5,7 @@
   "~~/src/HOL/Library/Code_Prolog"
 begin
 
-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))) *}
 
 setup {* Code_Prolog.map_code_options (K 
   {ensure_groundness = true,