--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML Thu Apr 29 15:00:41 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML Thu Apr 29 15:00:41 2010 +0200
@@ -267,7 +267,7 @@
Code_Eval.eval (SOME target)
("Predicate_Compile_Quickcheck.new_test_ref", new_test_ref)
(fn proc => fn g => fn nrandom => fn size => fn s => fn depth =>
- g nrandom size s depth |> (Lazy_Sequence.map o map) proc)
+ g nrandom size s depth |> (Lazy_Sequence.mapa o map) proc)
thy4 qc_term []
in
fn size => fn nrandom => fn depth => Option.map fst (Lazy_Sequence.yield