Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Mon, 11 Nov 2013 21:04:30 +0100
changeset 54389 a4051679a7bf
parent 54388 8b165615ffe3
child 54390 0e1566512928
tuned message;
src/Pure/ML/ml_compiler_polyml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML/ml_compiler_polyml.ML	Mon Nov 11 20:50:12 2013 +0100
+++ b/src/Pure/ML/ml_compiler_polyml.ML	Mon Nov 11 21:04:30 2013 +0100
@@ -105,7 +105,7 @@
 
     val writeln_buffer = Unsynchronized.ref Buffer.empty;
     fun write s = Unsynchronized.change writeln_buffer (Buffer.add s);
-    fun output_writeln () = writeln (Buffer.content (! writeln_buffer));
+    fun output_writeln () = writeln (trim_line (Buffer.content (! writeln_buffer)));
 
     val warnings = Unsynchronized.ref ([]: string list);
     fun warn msg = Unsynchronized.change warnings (cons msg);
isabelle