--- a/src/Pure/PIDE/document.ML Mon Jan 31 22:57:01 2011 +0100
+++ b/src/Pure/PIDE/document.ML Mon Jan 31 23:02:53 2011 +0100
@@ -209,7 +209,7 @@
fun async_state tr st =
ignore
(singleton
- (Future.bulk {name = "Document.async_state",
+ (Future.forks {name = "Document.async_state",
group = SOME (Task_Queue.new_group NONE), deps = [], pri = 0})
(fn () =>
Toplevel.setmp_thread_position tr
@@ -339,7 +339,7 @@
val _ = cancel state;
val execution' = (* FIXME proper node deps *)
- Future.bulk {name = "Document.execute", group = NONE, deps = [], pri = 1}
+ Future.forks {name = "Document.execute", group = NONE, deps = [], pri = 1}
[fn () =>
let
val _ = await_cancellation state;