diff -r ca3041b0f445 -r 586130f71c78 src/HOL/Tools/ATP_Manager/SPASS_TPTP
--- a/src/HOL/Tools/ATP_Manager/SPASS_TPTP	Mon Jul 26 11:19:21 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/SPASS_TPTP	Mon Jul 26 11:19:57 2010 +0200
@@ -14,5 +14,6 @@
     > $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