oops -- fixed syntax;
authorwenzelm
Wed Aug 01 16:50:16 2007 +0200 (2007-08-01)
changeset 24109952efb77cf91
parent 24108 24e5587603b4
child 24110 4ab3084e311c
oops -- fixed syntax;
src/Pure/ML-Systems/multithreading_polyml.ML
     1.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Aug 01 16:48:47 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Aug 01 16:50:16 2007 +0200
     1.3 @@ -139,7 +139,7 @@
     1.4        | (Task.Finished, _) =>
     1.5           (PROTECTED "running" (fn () => (dec active; dec running; wakeup_all ()))))
     1.6      and continue cont =
     1.7 -      (PROTECTED "cont" (fn () => queue := cont (! queue); wakeup_all ()); work ());
     1.8 +      (PROTECTED "cont" (fn () => (queue := cont (! queue); wakeup_all ())); work ());
     1.9  
    1.10      (*main control: fork and wait*)
    1.11      fun fork 0 = ()