changeset 56334 | 6b3739fee456 |
parent 56208 | 06cc31dff138 |
child 56798 | 939e88e79724 |
--- 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 _ =