| changeset 43024 | 58150aa44941 |
| parent 43020 | abb5d1f907e4 |
| child 43029 | 3e060b1c844b |
--- a/src/Tools/quickcheck.ML Fri May 27 10:30:08 2011 +0200 +++ b/src/Tools/quickcheck.ML Fri May 27 10:30:08 2011 +0200 @@ -653,7 +653,7 @@ end |> `(fn (outcome_code, _) => outcome_code = genuineN) -val setup = Try.register_tool (quickcheckN, (auto, try_quickcheck)) +val setup = Try.register_tool (quickcheckN, (30, auto, try_quickcheck)) end;