make SML/NJ happy
authorblanchet
Fri May 13 10:10:43 2011 +0200 (2011-05-13)
changeset 42778896aaab98563
parent 42777 69640564a394
child 42779 7b14bafe6778
make SML/NJ happy
src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Fri May 13 10:10:43 2011 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML	Fri May 13 10:10:43 2011 +0200
     1.3 @@ -1095,7 +1095,7 @@
     1.4            | _ => I)
     1.5      val (problem, pool) =
     1.6        problem |> nice_atp_problem (Config.get ctxt readable_names)
     1.7 -    fun add_sym_arity (s, {min_ary, ...}) =
     1.8 +    fun add_sym_arity (s, {min_ary, ...} : sym_info) =
     1.9        if min_ary > 0 then
    1.10          case strip_prefix_and_unascii const_prefix s of
    1.11            SOME s => Symtab.insert (op =) (s, min_ary)