diff -r 998cb95fdd43 -r bd33e7aae062 lib/scripts/run-smlnj-0.93
--- a/lib/scripts/run-smlnj-0.93	Fri Apr 11 15:21:36 1997 +0200
+++ b/lib/scripts/run-smlnj-0.93	Fri Apr 11 17:30:15 1997 +0200
@@ -37,7 +37,7 @@
     mkdir -p "$OUTDIR" || fail_out
     MOVE=true
   fi
-  [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
+  [ -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
   COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
 fi