src/Pure/Concurrent/mailbox.ML

--- a/src/Pure/Concurrent/mailbox.ML	Mon Sep 08 21:08:30 2008 +0200
+++ b/src/Pure/Concurrent/mailbox.ML	Mon Sep 08 22:14:39 2008 +0200
@@ -36,8 +36,8 @@
   let
     val _ = Mutex.lock lock;
     val _ = change messages (Queue.enqueue msg);
+    val _ = ConditionVar.broadcast cond;
     val _ = Mutex.unlock lock;
-    val _ = ConditionVar.broadcast cond;
   in () end) ();