diff -r 491e8d4b8fad -r ba9c9ed28dd8 lib/scripts/run-smlnj
--- a/lib/scripts/run-smlnj	Wed Dec 04 17:02:02 1996 +0100
+++ b/lib/scripts/run-smlnj	Wed Dec 04 17:02:19 1996 +0100
@@ -31,16 +31,16 @@
 
 if [ -z "$OUTFILE" ]; then
   DB="$INFILE"
-  COMMIT="fun commit() = output (std_out, \"Error - Database is not opened for writing.\\n\");"
+  COMMIT='fun commit() = (output (std_out, "Error - Database is not opened for writing.\n"); false);'
 elif [ -n "$INFILE" -a "$INFILE" != "$OUTFILE" ]; then           # FIXME ! -ef !?
   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
   cp "$INFILE" "$OUTFILE" || fail_out
   chmod +w "$OUTFILE"
   DB="$INFILE"
-  COMMIT="fun commit() = (exportML\"$OUTFILE\"; ());"
+  COMMIT="fun commit() = not (exportML\"$OUTFILE\");"
 else
   DB="$INFILE"
-  COMMIT="fun commit() = (exportML\"$OUTFILE\"; ());"
+  COMMIT="fun commit() = not (exportML\"$OUTFILE\");"
 fi
 
 [ -n "$DB" ] && DB="@SMLload=$DB"