--- a/src/Pure/ML-Systems/multithreading.ML Mon Jul 11 22:50:29 2011 +0200
+++ b/src/Pure/ML-Systems/multithreading.ML Mon Jul 11 22:55:47 2011 +0200
@@ -55,7 +55,7 @@
fun with_attributes _ e = e [];
-fun sync_wait _ _ _ _ = Exn.Result true;
+fun sync_wait _ _ _ _ = Exn.Res true;
(* tracing *)