diff -r c16029f41ad9 -r 5da4afa207ad lib/scripts/run-smlnj
--- a/lib/scripts/run-smlnj	Fri Apr 25 15:08:52 1997 +0200
+++ b/lib/scripts/run-smlnj	Fri Apr 25 15:10:52 1997 +0200
@@ -4,7 +4,7 @@
 #
 # SML/NJ startup script (for 1.06 or later).
 #
-# Global vars: INFILE OUTFILE COPYDB MLTEXT TERMINATE,
+# Global vars: INFILE OUTFILE MLTEXT TERMINATE,
 # and from settings