# HG changeset patch
# User wenzelm
# Date 1333552899 -7200
# Node ID e331c6256a411f98d6fc39db4fae9688d235584e
# Parent  bd24e466bef9a37595057ec08a74c1b46f426980
proper signature constraint;

diff -r bd24e466bef9 -r e331c6256a41 src/Pure/Concurrent/par_exn.ML
--- 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 *)