changeset 45458 | 5b5d3ee2285b |
parent 45344 | e209da839ff4 |
child 47415 | c486ac962b89 |
--- a/src/Pure/goal.ML Fri Nov 11 16:06:26 2011 +0100 +++ b/src/Pure/goal.ML Fri Nov 11 16:25:32 2011 +0100 @@ -125,7 +125,7 @@ val _ = forked 1; val future = (singleton o Future.forks) - {name = name, group = NONE, deps = [], pri = ~1, interrupts = false} + {name = name, group = NONE, deps = [], pri = 0, interrupts = false} (fn () => Exn.release (Exn.capture (Future.status o Future.interruptible_task) e before forked ~1));