# HG changeset patch
# User wenzelm
# Date 1442847337 -7200
# Node ID a00bee2dfbd145b665a7a93199aff5d725ae914e
# Parent  0b1a092385c7f29506a397edaf9b2062572bb274
tuned priority (like other query operations, e.g. "find_theorems");

diff -r 0b1a092385c7 -r a00bee2dfbd1 src/Pure/PIDE/query_operation.ML
--- a/src/Pure/PIDE/query_operation.ML	Mon Sep 21 16:41:20 2015 +0200
+++ b/src/Pure/PIDE/query_operation.ML	Mon Sep 21 16:55:37 2015 +0200
@@ -39,7 +39,7 @@
 (* print_state *)
 
 val _ =
-  register {name = "print_state", pri = Task_Queue.urgent_pri + 2}
+  register {name = "print_state", pri = Task_Queue.urgent_pri}
     (fn {state = st, output_result, ...} =>
       if Toplevel.is_proof st
       then output_result (Markup.markup Markup.state (Toplevel.string_of_state st))