src/Pure/Isar/class.ML

                 (map (prt_arity class) (sort (Name_Space.extern_ord ctxt type_space) ars))]));
   in
     Sorts.all_classes algebra
     |> sort (Name_Space.extern_ord ctxt class_space)
     |> map prt_entry
-    |> Pretty.chunks2
-    |> Pretty.writeln
+    |> Pretty.writeln_chunks2
   end;
 
 
 (* updaters *)