src/Pure/goal.ML
changeset 47415 c486ac962b89
parent 45458 5b5d3ee2285b
child 48992 0518bf89c777
     1.1 --- a/src/Pure/goal.ML	Tue Apr 10 16:50:30 2012 +0200
     1.2 +++ b/src/Pure/goal.ML	Tue Apr 10 20:42:17 2012 +0200
     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 = 0, interrupts = false}
     1.8 +          {name = name, group = NONE, deps = [], pri = ~1, interrupts = false}
     1.9            (fn () =>
    1.10              Exn.release
    1.11                (Exn.capture (Future.status o Future.interruptible_task) e before forked ~1));