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