--- a/src/HOL/Tools/ATP/scripts/spass_new	Sun Feb 05 12:27:10 2012 +0100
+++ b/src/HOL/Tools/ATP/scripts/spass_new	Sun Feb 05 12:27:10 2012 +0100
@@ -8,7 +8,7 @@
 name=${@:$(($#)):1}
 
 rm -f "$name.prf"
-"$SPASS_NEW_HOME/SPASS" -FPDFGProof -FPFCR $options "$name"
+"$SPASS_NEW_HOME/SPASS" $options "$name"
 if [ -f "$name.prf" ]
 then
   cat "$name.prf"