Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adapting SML_Quickcheck
authorbulwahn
Fri, 18 Mar 2011 18:19:42 +0100
changeset 42029 da92153d6dff
parent 42028 bd6515e113b2
child 42030 96327c909389
adapting SML_Quickcheck
src/HOL/Library/SML_Quickcheck.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/SML_Quickcheck.thy	Fri Mar 18 18:19:42 2011 +0100
+++ b/src/HOL/Library/SML_Quickcheck.thy	Fri Mar 18 18:19:42 2011 +0100
@@ -8,7 +8,7 @@
 setup {*
   Inductive_Codegen.quickcheck_setup #>
   Context.theory_map (Quickcheck.add_generator ("SML",
-    fn ctxt => fn t =>
+    fn ctxt => fn (t, eval_terms) =>
       let
         val test_fun = Codegen.test_term ctxt t 
         val iterations = Config.get ctxt Quickcheck.iterations
isabelle