changeset 40904 | b3db5697aab4 |
parent 40903 | 1332f6e856b9 |
child 40905 | 647142607448 |
--- a/src/Tools/quickcheck.ML Fri Dec 03 08:40:47 2010 +0100 +++ b/src/Tools/quickcheck.ML Fri Dec 03 08:40:47 2010 +0100 @@ -261,7 +261,6 @@ | SOME ts => SOME (names ~~ ts)) (with_size 1 []))) () handle TimeLimit.TimeOut => error (excipit "ran out of time") - | Exn.Interrupt => error (excipit "was interrupted") (* FIXME violates Isabelle/ML exception model *) in (result, ([exec_time, comp_time], if Config.get ctxt report then SOME reports else NONE)) end;