# HG changeset patch
# User immler@in.tum.de
# Date 1232471526 -3600
# Node ID 370b3f92b3bc12912f0ef0351d33ee152f65a882
# Parent  cf1289d989026378a796e599b9f8ca6f79d9ff10
typo

diff -r cf1289d98902 -r 370b3f92b3bc src/HOL/Tools/atp_manager.ML
--- a/src/HOL/Tools/atp_manager.ML	Tue Jan 20 18:10:25 2009 +0100
+++ b/src/HOL/Tools/atp_manager.ML	Tue Jan 20 18:12:06 2009 +0100
@@ -35,7 +35,7 @@
 
 local
 
-val atps = ref "e remote_e remore_vampire remote_spass";
+val atps = ref "e remote_e remote_vampire remote_spass";
 val max_atps = ref 5;   (* ~1 means infinite number of atps *)
 val timeout = ref 100;