--- 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);