# HG changeset patch
# User wenzelm
# Date 1745520124 -7200
# Node ID 0133fe6a1f55ecb66c0f47fdbde81e00e8fd6ff8
# Parent  cf506179fc4c43404086538f7a29444b4d121d18
more scalable output;

diff -r cf506179fc4c -r 0133fe6a1f55 src/Pure/Isar/calculation.ML
--- a/src/Pure/Isar/calculation.ML	Thu Apr 24 14:23:36 2025 +0200
+++ b/src/Pure/Isar/calculation.ML	Thu Apr 24 20:42:04 2025 +0200
@@ -160,7 +160,7 @@
       if int then
         Proof_Context.pretty_fact ctxt'
           (Proof_Context.full_name ctxt' (Binding.name calculationN), calc)
-        |> Pretty.string_of |> writeln
+        |> Pretty.writeln
       else ();
   in state' |> final ? (update_calculation NONE #> Proof.chain_facts calc) end;