author | wenzelm |
Mon, 31 Jan 2011 23:21:43 +0100 | |
changeset 41676 | 4639f40b20c9 |
parent 41675 | 0f0f6212d6c6 |
child 41677 | fa0da47131d2 |
--- a/src/Pure/Concurrent/task_queue.ML Mon Jan 31 23:10:16 2011 +0100 +++ b/src/Pure/Concurrent/task_queue.ML Mon Jan 31 23:21:43 2011 +0100 @@ -225,7 +225,7 @@ fun enqueue_passive group abort (Queue {groups, jobs}) = let - val task = new_task "" NONE; + val task = new_task "passive" NONE; val groups' = groups |> fold (fn gid => Inttab.cons_list (gid, task)) (group_ancestry group); val jobs' = jobs |> Task_Graph.new_node (task, (group, Passive abort));