1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Tue May 03 08:52:16 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue May 03 08:52:32 2011 +0200
     1.3 @@ -362,8 +362,8 @@
     1.4                        best_slices, best_type_systems, ...} : atp_config)
     1.5                      : atp_config =
     1.6    remote_config system_name system_versions proof_delims known_failures
     1.7 -                hypothesis_kind formats
     1.8 -                (int_average (snd o snd) o best_slices) best_type_systems
     1.9 +                hypothesis_kind formats (int_average (snd o snd) o best_slices)
    1.10 +                best_type_systems
    1.11  
    1.12  fun remote_atp name system_name system_versions proof_delims known_failures
    1.13                 hypothesis_kind formats best_max_relevant best_type_systems =