summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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