--- a/src/HOL/Tools/ATP/scripts/spass Fri Jan 07 23:07:04 2011 +0100
+++ b/src/HOL/Tools/ATP/scripts/spass Fri Jan 07 23:10:33 2011 +0100
@@ -8,12 +8,12 @@
options=${@:1:$(($#-1))}
name=${@:$(($#)):1}
-$SPASS_HOME/tptp2dfg $name $name.fof.dfg
-$SPASS_HOME/SPASS -Flotter $name.fof.dfg \
+"$SPASS_HOME/tptp2dfg" $name $name.fof.dfg
+"$SPASS_HOME/SPASS" -Flotter $name.fof.dfg \
| sed 's/description({$/description({*/' \
> $name.cnf.dfg
rm -f $name.fof.dfg
cat $name.cnf.dfg
-$SPASS_HOME/SPASS $options $name.cnf.dfg \
+"$SPASS_HOME/SPASS" $options $name.cnf.dfg \
| sed 's/\(Formulae used in the proof :\).*/\1 N\/A/'
rm -f $name.cnf.dfg