| changeset 61214 | a00bee2dfbd1 |
| parent 61209 | 7a421e7ef97c |
| child 61223 | dfccf6c06201 |
--- 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))