changeset 41711 | 3422ae5aff3a |
parent 32816 | 5db89f8d44f3 |
child 44269 | 3ff2fd162aee |
--- a/src/Pure/Concurrent/par_list_sequential.ML Sat Feb 05 18:09:57 2011 +0100 +++ b/src/Pure/Concurrent/par_list_sequential.ML Sat Feb 05 20:38:32 2011 +0100 @@ -7,6 +7,7 @@ structure Par_List: PAR_LIST = struct +fun map_name _ = map; val map = map; val get_some = get_first; val find_some = find_first;