src/HOL/ATP_Linkup.thy
changeset 28594 ed3351ff3f1b
parent 28592 824f8390aaa2
child 29580 117b88da143c
child 29587 96599d8d8268
--- 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"