diff -r 99ef9fd7341b -r 7b4104df2be6 src/HOL/Tools/ATP/scripts/spass
--- a/src/HOL/Tools/ATP/scripts/spass	Mon Aug 22 15:02:45 2011 +0200
+++ b/src/HOL/Tools/ATP/scripts/spass	Mon Aug 22 15:02:45 2011 +0200
@@ -11,6 +11,7 @@
 "$SPASS_HOME/tptp2dfg" $name $name.fof.dfg
 "$SPASS_HOME/SPASS" -Flotter $name.fof.dfg \
     | sed 's/description({$/description({*/' \
+    | sed 's/set_ClauseFormulaRelation()\.//' \
     > $name.cnf.dfg
 rm -f $name.fof.dfg
 cat $name.cnf.dfg