updated sequential version (cf. b94951f06e48);

--- a/src/Pure/Concurrent/par_list_sequential.ML	Thu Aug 18 16:07:58 2011 +0200
+++ b/src/Pure/Concurrent/par_list_sequential.ML	Thu Aug 18 17:30:47 2011 +0200
@@ -7,6 +7,7 @@
 structure Par_List: PAR_LIST =
 struct
 
+fun managed_results _ f = map (Exn.capture f);
 fun map_name _ = map;
 val map = map;
 val get_some = get_first;