# HG changeset patch
# User nipkow
# Date 1254408418 -7200
# Node ID 314b6a73b55cd8207f7dd550420a3a7529f2b281
# Parent  99843bbfaeb2283e40c7c614dcfb0ab173842942# Parent  712ad8109fff1bd7ce0ed43abcaf2cda3cf2a423
merged

diff -r 99843bbfaeb2 -r 314b6a73b55c src/HOL/Tools/ATP_Manager/atp_manager.ML
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 15:54:55 2009 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 16:46:58 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;