src/Tools/Code/code_preproc.ML

     val thy = Proof_Context.theory_of ctxt;
     val pre = (#pre o the_thmproc) thy;
     val post = (#post o the_thmproc) thy;
     val functrans = (map fst o #functrans o the_thmproc) thy;
   in
-    (Pretty.writeln o Pretty.chunks) [
+    Pretty.writeln_chunks [
       Pretty.block [
         Pretty.str "preprocessing simpset:",
         Pretty.fbrk,
         Simplifier.pretty_simpset (put_simpset pre ctxt)
       ],