1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Fri Jul 01 15:53:37 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Fri Jul 01 15:53:38 2011 +0200
     1.3 @@ -386,8 +386,8 @@
     1.4     prem_kind = prem_kind,
     1.5     formats = formats,
     1.6     best_slices = fn ctxt =>
     1.7 -     let val (max_relevant, type_sys) = best_slice ctxt in
     1.8 -       [(1.0, (false, (max_relevant, type_sys, "")))]
     1.9 +     let val (max_relevant, type_enc) = best_slice ctxt in
    1.10 +       [(1.0, (false, (max_relevant, type_enc, "")))]
    1.11       end}
    1.12  
    1.13  fun remotify_config system_name system_versions best_slice