changeset 415:777317e8b2ae

Add newline at end of file
author adamc@mire.hcoop.net
date Thu, 23 Oct 2008 11:38:31 -0400
parents cca935276869
children 679b2fbbd4d0
files src/compiler.sml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/compiler.sml	Thu Oct 23 11:13:11 2008 -0400
+++ b/src/compiler.sml	Thu Oct 23 11:38:31 2008 -0400
@@ -555,6 +555,7 @@
                 val s = TextIOPP.openOut {dst = outf, wid = 80}
             in
                 Print.fprint s (CjrPrint.p_file CjrEnv.empty file);
+		TextIO.output1 (outf, #"\n");
                 TextIO.closeOut outf;
 
                 case #sql job of