diff -r 96691631c1eb -r 3a122e1e352a src/Pure/PIDE/execution.ML
--- a/src/Pure/PIDE/execution.ML	Sat Apr 09 13:28:32 2016 +0200
+++ b/src/Pure/PIDE/execution.ML	Sat Apr 09 14:00:23 2016 +0200
@@ -89,7 +89,7 @@
 type params = {name: string, pos: Position.T, pri: int};
 
 fun fork ({name, pos, pri}: params) e =
-  Multithreading.uninterruptible (fn _ => Position.setmp_thread_data pos (fn () =>
+  Thread_Attributes.uninterruptible (fn _ => Position.setmp_thread_data pos (fn () =>
     let
       val exec_id = the_default 0 (Position.parse_id pos);
       val group = Future.worker_subgroup ();