1.1 --- a/src/Tools/quickcheck.ML	Fri May 27 10:30:08 2011 +0200
     1.2 +++ b/src/Tools/quickcheck.ML	Fri May 27 10:30:08 2011 +0200
     1.3 @@ -653,7 +653,7 @@
     1.4    end
     1.5    |> `(fn (outcome_code, _) => outcome_code = genuineN)
     1.6  
     1.7 -val setup = Try.register_tool (quickcheckN, (auto, try_quickcheck))
     1.8 +val setup = Try.register_tool (quickcheckN, (30, auto, try_quickcheck))
     1.9  
    1.10  end;
    1.11