changeset 59180 | c0fa3b3bdabd |
parent 59137 | fd748d770770 |
child 62505 | 9e2a65912111 |
--- a/src/Pure/Concurrent/par_list.ML Mon Dec 22 19:47:58 2014 +0100 +++ b/src/Pure/Concurrent/par_list.ML Mon Dec 22 20:40:37 2014 +0100 @@ -30,8 +30,7 @@ struct fun managed_results name f xs = - if null xs orelse null (tl xs) orelse - not (Multithreading.enabled ()) orelse Multithreading.self_critical () + if null xs orelse null (tl xs) orelse not (Multithreading.enabled ()) then map (Exn.capture f) xs else uninterruptible (fn restore_attributes => fn () =>