improved COMMIT_RO;
authorwenzelm
Mon, 15 Dec 1997 15:54:47 +0100
changeset 4415 715e5e2064d8
parent 4414 ac5cb6219db7
child 4416 c32a5c724263
improved COMMIT_RO;
lib/scripts/run-smlnj
--- 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"