author | wenzelm |
Wed, 04 Apr 2012 17:21:39 +0200 | |
changeset 47338 | e331c6256a41 |
parent 47337 | bd24e466bef9 |
child 47339 | 79bd24497ffd |
--- a/src/Pure/Concurrent/par_exn.ML Wed Apr 04 17:14:19 2012 +0200 +++ b/src/Pure/Concurrent/par_exn.ML Wed Apr 04 17:21:39 2012 +0200 @@ -14,7 +14,7 @@ val release_first: 'a Exn.result list -> 'a list end; -structure Par_Exn = +structure Par_Exn: PAR_EXN = struct (* identification via serial numbers *)