src/Pure/Isar/calculation.ML

--- a/src/Pure/Isar/calculation.ML	Fri Oct 31 11:18:17 2014 +0100
+++ b/src/Pure/Isar/calculation.ML	Fri Oct 31 11:36:41 2014 +0100
@@ -120,7 +120,7 @@
       if int then
         Proof_Context.pretty_fact ctxt'
           (Proof_Context.full_name ctxt' (Binding.name calculationN), calc)
-        |> Pretty.string_of |> Output.urgent_message
+        |> Pretty.string_of |> writeln
       else ();
   in state' |> final ? (put_calculation NONE #> Proof.chain_facts calc) end;