src/Pure/Thy/thy_output.ML

     val command_names = map #1 (Name_Space.markup_table ctxt commands);
     val option_names = map #1 (Name_Space.markup_table ctxt options);
   in
     [Pretty.big_list "document antiquotations:" (map Pretty.mark_str command_names),
       Pretty.big_list "document antiquotation options:" (map Pretty.mark_str option_names)]
-    |> Pretty.chunks |> Pretty.writeln
+    |> Pretty.writeln_chunks
   end;
 
 fun antiquotation name scan body =
   add_command name
     (fn src => fn state => fn ctxt =>