src/Pure/Concurrent/task_queue.ML

   let
     val _ = cancel_group group Exn.Interrupt;
     val tasks = Inttab.lookup_list groups (group_id group);
     val running =
       fold (get_job jobs #> (fn Running t => insert Thread.equal t | _ => I)) tasks [];
-    val _ = List.app SimpleThread.interrupt running;
+    val _ = List.app Simple_Thread.interrupt running;
   in null running end;
 
 fun cancel_all (Queue {groups, jobs}) =
   let
     fun cancel_job (group, job) (groups, running) =
       (cancel_group group Exn.Interrupt;
         (case job of
           Running t => (insert eq_group group groups, insert Thread.equal t running)
         | _ => (groups, running)));
     val (running_groups, running) = Task_Graph.fold (cancel_job o #1 o #2) jobs ([], []);
-    val _ = List.app SimpleThread.interrupt running;
+    val _ = List.app Simple_Thread.interrupt running;
   in running_groups end;
 
 
 (* enqueue *)