src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Mon Jun 10 14:04:52 2024 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Mon Jun 10 14:05:39 2024 +0200
@@ -505,7 +505,7 @@
      else
        Pretty.str (tally_msg ^ ":") ::
        grouped 10 Par_List.map (Pretty.item o single o pretty_thm ctxt) (rev theorems))
-  end |> Pretty.fbreaks |> curry Pretty.blk 0;
+  end |> Pretty.fbreaks |> Pretty.block0;
 
 end;