src/Pure/Concurrent/par_exn.ML

   | plain_exn (Exn.Exn exn) = if Exn.is_interrupt exn then NONE else SOME exn;
 
 fun release_first results =
   (case get_first plain_exn results of
     NONE => release_all results
-  | SOME exn => reraise exn);
+  | SOME exn => Exn.reraise exn);
 
 end;