Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
oops -- fixed syntax;
authorwenzelm
Wed, 01 Aug 2007 16:50:16 +0200
changeset 24109 952efb77cf91
parent 24108 24e5587603b4
child 24110 4ab3084e311c
oops -- fixed syntax;
src/Pure/ML-Systems/multithreading_polyml.ML file | annotate | diff | comparison | revisions 
--- 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 = ()
isabelle