# HG changeset patch
# User nipkow
# Date 1254416327 -7200
# Node ID f7f94bb9ac94ede031834800d77f09b8974afd9b
# Parent  b13e04329012662c70ab50ccfadf72e5bafc0163# Parent  314b6a73b55cd8207f7dd550420a3a7529f2b281
merged

diff -r b13e04329012 -r f7f94bb9ac94 src/HOL/Tools/ATP_Manager/atp_manager.ML
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 16:43:19 2009 +0100
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 18:58:47 2009 +0200
@@ -41,7 +41,7 @@
 
 local
 
-val atps = Unsynchronized.ref "e remote_vampire";
+val atps = Unsynchronized.ref "e spass remote_vampire";
 val max_atps = Unsynchronized.ref 5;   (* ~1 means infinite number of atps *)
 val timeout = Unsynchronized.ref 60;
 val full_types = Unsynchronized.ref false;