# HG changeset patch
# User wenzelm
# Date 882197687 -3600
# Node ID 715e5e2064d84a40943d1c361742494ba117e393
# Parent  ac5cb6219db7f50d7964eec66276abf27daebaad
improved COMMIT_RO;

diff -r ac5cb6219db7 -r 715e5e2064d8 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"