1.1 --- a/src/Pure/goal.ML	Fri Nov 11 16:06:26 2011 +0100
     1.2 +++ b/src/Pure/goal.ML	Fri Nov 11 16:25:32 2011 +0100
     1.3 @@ -125,7 +125,7 @@
     1.4        val _ = forked 1;
     1.5        val future =
     1.6          (singleton o Future.forks)
     1.7 -          {name = name, group = NONE, deps = [], pri = ~1, interrupts = false}
     1.8 +          {name = name, group = NONE, deps = [], pri = 0, interrupts = false}
     1.9            (fn () =>
    1.10              Exn.release
    1.11                (Exn.capture (Future.status o Future.interruptible_task) e before forked ~1));