src/Pure/PIDE/execution.ML
changeset 62891 7a11ea5c9626
parent 61077 06cca32aa519
child 62923 3a122e1e352a
     1.1 --- a/src/Pure/PIDE/execution.ML	Wed Apr 06 16:51:52 2016 +0200
     1.2 +++ b/src/Pure/PIDE/execution.ML	Wed Apr 06 17:16:30 2016 +0200
     1.3 @@ -89,7 +89,7 @@
     1.4  type params = {name: string, pos: Position.T, pri: int};
     1.5  
     1.6  fun fork ({name, pos, pri}: params) e =
     1.7 -  uninterruptible (fn _ => Position.setmp_thread_data pos (fn () =>
     1.8 +  Multithreading.uninterruptible (fn _ => Position.setmp_thread_data pos (fn () =>
     1.9      let
    1.10        val exec_id = the_default 0 (Position.parse_id pos);
    1.11        val group = Future.worker_subgroup ();