src/Pure/Isar/class.ML

--- a/src/Pure/Isar/class.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/Pure/Isar/class.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -203,8 +203,7 @@
     Sorts.all_classes algebra
     |> sort (Name_Space.extern_ord ctxt class_space)
     |> map prt_entry
-    |> Pretty.chunks2
-    |> Pretty.writeln
+    |> Pretty.writeln_chunks2
   end;