src/Pure/Concurrent/future.ML
changeset 50911 ee7fe4230642
parent 50909 b2fb1ab1475d
child 50914 fe4714886d92
     1.1 --- a/src/Pure/Concurrent/future.ML	Wed Jan 16 11:31:08 2013 +0100
     1.2 +++ b/src/Pure/Concurrent/future.ML	Wed Jan 16 16:26:36 2013 +0100
     1.3 @@ -439,7 +439,7 @@
     1.4    let
     1.5      val res =
     1.6        (case raw_res of
     1.7 -        Exn.Exn exn => Exn.Exn (Par_Exn.set_serial exn)
     1.8 +        Exn.Exn exn => Exn.Exn (Par_Exn.identify [] exn)
     1.9        | _ => raw_res);
    1.10      val _ = Single_Assignment.assign result res
    1.11        handle exn as Fail _ =>