diff -r 728aa05e9433 -r 7a11ea5c9626 src/Pure/PIDE/query_operation.ML
--- a/src/Pure/PIDE/query_operation.ML	Wed Apr 06 16:51:52 2016 +0200
+++ b/src/Pure/PIDE/query_operation.ML	Wed Apr 06 17:16:30 2016 +0200
@@ -19,7 +19,7 @@
   Command.print_function (name ^ "_query")
     (fn {args = instance :: args, ...} =>
       SOME {delay = NONE, pri = pri, persistent = false, strict = false,
-        print_fn = fn _ => uninterruptible (fn restore_attributes => fn state =>
+        print_fn = fn _ => Multithreading.uninterruptible (fn restore_attributes => fn state =>
           let
             fun output_result s = Output.result [(Markup.instanceN, instance)] [s];
             fun status m = output_result (Markup.markup_only m);