1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Oct 31 11:23:21 2012 +0100
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Oct 31 11:23:21 2012 +0100
     1.3 @@ -590,8 +590,7 @@
     1.4            (warning (case extract_known_failure known_perl_failures output of
     1.5                        SOME failure => string_for_failure failure
     1.6                      | NONE => trim_line output ^ "."); [])) ()
     1.7 -  handle TimeLimit.TimeOut =>
     1.8 -         (warning "Cannot retrieve system list from SystemOnTPTP."; [])
     1.9 +  handle TimeLimit.TimeOut => []
    1.10  
    1.11  fun find_remote_system name [] systems =
    1.12      find_first (String.isPrefix (name ^ "---")) systems