# HG changeset patch
# User wenzelm
# Date 1185979816 -7200
# Node ID 952efb77cf9130e2f4feb626144a5a3c65d8d712
# Parent  24e5587603b4d3eb01ed23f20ffb8e4b2dca607d
oops -- fixed syntax;

diff -r 24e5587603b4 -r 952efb77cf91 src/Pure/ML-Systems/multithreading_polyml.ML
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Aug 01 16:48:47 2007 +0200
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Aug 01 16:50:16 2007 +0200
@@ -139,7 +139,7 @@
       | (Task.Finished, _) =>
          (PROTECTED "running" (fn () => (dec active; dec running; wakeup_all ()))))
     and continue cont =
-      (PROTECTED "cont" (fn () => queue := cont (! queue); wakeup_all ()); work ());
+      (PROTECTED "cont" (fn () => (queue := cont (! queue); wakeup_all ())); work ());
 
     (*main control: fork and wait*)
     fun fork 0 = ()