src/Pure/goal.ML
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));