
diff -r f087237af65d -r ed3351ff3f1b src/HOL/ATP_Linkup.thy
--- a/src/HOL/ATP_Linkup.thy	Tue Oct 14 16:32:26 2008 +0200
+++ b/src/HOL/ATP_Linkup.thy	Tue Oct 14 20:10:43 2008 +0200
@@ -109,7 +109,7 @@
 setup {* AtpManager.add_prover "e_full" AtpWrapper.eprover_full *}
 
 text {* on some problems better results *}
-setup {* AtpManager.add_prover "spass_no_tc" (AtpWrapper.spass_filter_opts 40 false) *}
+setup {* AtpManager.add_prover "spass_no_tc" (AtpWrapper.spass_opts 40 false) *}
 
 text {* remote provers via SystemOnTPTP *}
 setup {* AtpManager.add_prover "remote_vamp9"




