src/Pure/PIDE/query_operation.ML

--- a/src/Pure/PIDE/query_operation.ML	Mon Sep 21 11:45:03 2015 +0200
+++ b/src/Pure/PIDE/query_operation.ML	Mon Sep 21 13:53:35 2015 +0200
@@ -15,7 +15,7 @@
 struct
 
 fun register {name, pri} f =
-  Command.print_function name
+  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 =>
@@ -37,4 +37,3 @@
       | _ => NONE);
 
 end;
-