# HG changeset patch # User adamc@mire.hcoop.net # Date 1224776311 14400 # Node ID 777317e8b2aeef945c9ea4061c44c2c31a8e5c99 # Parent cca9352768695293ecc9f68e7f2b54ab7915b817 Add newline at end of file diff -r cca935276869 -r 777317e8b2ae src/compiler.sml --- 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