--- a/lib/scripts/run-smlnj Wed Dec 04 13:17:24 1996 +0100
+++ b/lib/scripts/run-smlnj Wed Dec 04 13:17:50 1996 +0100
@@ -1,13 +1,11 @@
#!/bin/bash
#
+# $Id$
+#
# SML/NJ startup script (for 1.06 or later).
#
-# $Id$
-#
# Global vars: INFILE OUTFILE COPYDB MLTEXT OPTIONS TERMINATE,
# and from settings
-#
-# MMW 30-Nov-1996
## diagnostics
@@ -62,7 +60,7 @@
else
TMP_FILE=/tmp/mltext-$$
echo "$MLTEXT" >$TMP_FILE
- cat $TMP_FILE - | $START_SML
+ $ISABELLE_HOME/lib/scripts/ucat $TMP_FILE - | $START_SML
RC=$?
rm $TMP_FILE
fi