--- a/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy Mon Jul 15 20:13:30 2013 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy Mon Jul 15 20:36:27 2013 +0200
@@ -79,7 +79,10 @@
section {* Manual setup to find counterexample *}
-setup {* Context.theory_map (Quickcheck.add_tester ("prolog", (Code_Prolog.active, Code_Prolog.test_goals))) *}
+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,