adapting SML_Quickcheck
authorbulwahn
Fri Mar 18 18:19:42 2011 +0100 (2011-03-18)
changeset 42029da92153d6dff
parent 42028 bd6515e113b2
child 42030 96327c909389
adapting SML_Quickcheck
src/HOL/Library/SML_Quickcheck.thy
     1.1 --- a/src/HOL/Library/SML_Quickcheck.thy	Fri Mar 18 18:19:42 2011 +0100
     1.2 +++ b/src/HOL/Library/SML_Quickcheck.thy	Fri Mar 18 18:19:42 2011 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  setup {*
     1.5    Inductive_Codegen.quickcheck_setup #>
     1.6    Context.theory_map (Quickcheck.add_generator ("SML",
     1.7 -    fn ctxt => fn t =>
     1.8 +    fn ctxt => fn (t, eval_terms) =>
     1.9        let
    1.10          val test_fun = Codegen.test_term ctxt t 
    1.11          val iterations = Config.get ctxt Quickcheck.iterations