typo

--- 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;