# HG changeset patch
# User bulwahn
# Date 1311444328 -7200
# Node ID 3b69f057ef2e4e9e0f9df6d67dd3be11a5e43560
# Parent  8f5add916a9933ba6955c5ce6b03961966570702
correcting last example in Predicate_Compile_Examples

diff -r 8f5add916a99 -r 3b69f057ef2e src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy
--- a/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy	Sat Jul 23 17:22:28 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy	Sat Jul 23 20:05:28 2011 +0200
@@ -98,7 +98,7 @@
 oops
 
 
-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,