lib/scripts/run-smlnj
changeset 4415 715e5e2064d8
parent 4402 3b53dd8e9e23
child 4505 4a2c872b6513
--- a/lib/scripts/run-smlnj	Mon Dec 15 15:32:27 1997 +0100
+++ b/lib/scripts/run-smlnj	Mon Dec 15 15:54:47 1997 +0100
@@ -21,7 +21,7 @@
 
 EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
 COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"
-COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\n"); false);'
+COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\\n"); false);'
 eval $($ML_HOME/.arch-n-opsys)
 SUFFIX=".$ARCH-$OPSYS"