changeset 40924 | a9be7f26b4e6 |
parent 39249 | 9c866b248cb1 |
child 41413 | 64cd30d6b0b8 |
--- a/src/HOL/Predicate_Compile_Examples/IMP_2.thy Fri Dec 03 08:40:47 2010 +0100 +++ b/src/HOL/Predicate_Compile_Examples/IMP_2.thy Fri Dec 03 08:40:47 2010 +0100 @@ -30,7 +30,7 @@ lemma "exec c s s' ==> exec (Seq c c) s s'" -quickcheck[generator = predicate_compile_wo_ff, size = 2, iterations = 10] +quickcheck[tester = predicate_compile_wo_ff, size = 2, iterations = 10] oops