summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Unknown <adamc@mire.hcoop.net>2008-10-23 11:38:31 -0400
committerGravatar Unknown <adamc@mire.hcoop.net>2008-10-23 11:38:31 -0400
commit40b25d79d51e794c734ca384083b45fb61b0a632 (patch)
tree76241d956277bb858532041da9f90763cf827481
parente150bb225b2399c39cbea3a9506bdcfe1a414aa8 (diff)
Add newline at end of file
-rw-r--r--src/compiler.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 2ddcfb4d..df4ee48d 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -555,6 +555,7 @@ fun compile job =
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