--- a/src/Pure/Isar/overloading.ML Sun May 03 17:52:27 2015 +0200
+++ b/src/Pure/Isar/overloading.ML Sun May 03 18:13:15 2015 +0200
@@ -174,7 +174,10 @@
Pretty.block (Pretty.breaks
[Pretty.str v, Pretty.str "==", Proof_Context.pretty_const lthy c,
Pretty.str "::", Syntax.pretty_typ lthy ty]);
- in Pretty.keyword1 "overloading" :: map pr_operation overloading end;
+ in
+ [Pretty.block
+ (Pretty.fbreaks (Pretty.keyword1 "overloading" :: map pr_operation overloading))]
+ end;
fun conclude lthy =
let