diff -r 38f1422ef473 -r 6b3739fee456 src/HOL/SPARK/Tools/spark_commands.ML
--- a/src/HOL/SPARK/Tools/spark_commands.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/HOL/SPARK/Tools/spark_commands.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -106,7 +106,7 @@
          Pretty.big_list (name ^ " " ^ f status)
            (Element.pretty_ctxt ctxt context' @
             Element.pretty_stmt ctxt stmt)) vcs'') vcs')] |>
-    Pretty.chunks2 |> Pretty.writeln
+    Pretty.writeln_chunks2
   end;
 
 val _ =