1.1 --- a/src/HOL/Tools/ATP/atp_translate.ML	Fri Sep 09 14:43:50 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_translate.ML	Fri Sep 09 15:14:59 2011 +0200
     1.3 @@ -1899,7 +1899,8 @@
     1.4             let
     1.5               val (pred_sym, in_conj) =
     1.6                 case Symtab.lookup sym_tab s of
     1.7 -                 SOME {pred_sym, in_conj, ...} => (pred_sym, in_conj)
     1.8 +                 SOME ({pred_sym, in_conj, ...} : sym_info) =>
     1.9 +                 (pred_sym, in_conj)
    1.10                 | NONE => (false, false)
    1.11               val decl_sym =
    1.12                 (case type_enc of