--- a/lib/scripts/run-mosml Sun May 31 15:29:43 2009 +0200
+++ b/lib/scripts/run-mosml Sun May 31 15:49:35 2009 +0200
@@ -4,7 +4,7 @@
#
# Moscow ML 2.00 startup script
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
+export -n INFILE OUTFILE MLTEXT TERMINATE NOWRITE
## diagnostics