author | bulwahn |
Mon, 22 Nov 2010 11:35:06 +0100 | |
changeset 40656 | 36ca3fad1f31 |
parent 40655 | 5fb74f66efa4 |
child 40657 | 58a6ba7ccfc5 |
--- a/src/Tools/quickcheck.ML Mon Nov 22 11:35:02 2010 +0100 +++ b/src/Tools/quickcheck.ML Mon Nov 22 11:35:06 2010 +0100 @@ -205,8 +205,9 @@ end (* we actually assume we know the generators and its behaviour *) -fun is_iteratable "small" = false +fun is_iteratable "SML" = true | is_iteratable "random" = true + | is_iteratable _ = false fun test_term ctxt generator_name t = let