src/Pure/Isar/bundle.ML

--- a/src/Pure/Isar/bundle.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/Pure/Isar/bundle.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -134,7 +134,7 @@
         Pretty.breaks (Pretty.str " =" :: maps prt_fact bundle));
   in
     map prt_bundle (Name_Space.markup_table ctxt (get_bundles ctxt))
-  end |> Pretty.chunks |> Pretty.writeln;
+  end |> Pretty.writeln_chunks;
 
 end;