1.1 --- a/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 01 00:12:38 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_translate.ML	Wed Jun 01 00:23:16 2011 +0200
     1.3 @@ -1332,7 +1332,7 @@
     1.4  fun delete_type cset = Symtab.delete_safe (the_single @{sort HOL.type}) cset
     1.5  
     1.6  fun classes_of_terms get_Ts =
     1.7 -  map (map #2 o get_Ts)
     1.8 +  map (map snd o get_Ts)
     1.9    #> List.foldl add_classes Symtab.empty
    1.10    #> delete_type #> Symtab.keys
    1.11