1.1 --- a/src/Tools/quickcheck.ML	Fri Dec 03 08:40:47 2010 +0100
     1.2 +++ b/src/Tools/quickcheck.ML	Fri Dec 03 08:40:47 2010 +0100
     1.3 @@ -260,7 +260,7 @@
     1.4           (fn result => case result of NONE => NONE
     1.5          | SOME ts => SOME (names ~~ ts)) (with_size 1 []))) ()
     1.6        handle TimeLimit.TimeOut =>
     1.7 -        if is_interactive then error (excipit "ran out of time") else TimeLimit.TimeOut
     1.8 +        if is_interactive then error (excipit "ran out of time") else raise TimeLimit.TimeOut
     1.9    in
    1.10      (result, ([exec_time, comp_time], if Config.get ctxt report then SOME reports else NONE))
    1.11    end;