# HG changeset patch
# User wenzelm
# Date 849701870 -3600
# Node ID d97eef3982570fa1d3be1e1107d027405035b231
# Parent  65ea8bbb4e02d84780fc6a9d3feaac6409724b1b
replaced cat by ucat;

diff -r 65ea8bbb4e02 -r d97eef398257 lib/scripts/run-smlnj
--- 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