# HG changeset patch
# User wenzelm
# Date 1224007843 -7200
# Node ID ed3351ff3f1b173b3d1ad66cea76e52450c25706
# Parent  f087237af65d9a5ffdce76760990c00eb0e66b63
tuned AtpWrapper interfaces;

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"