comment
authorblanchet
Fri Aug 26 10:12:17 2011 +0200 (2011-08-26)
changeset 445085438d88b2cb7
parent 44507 e08158671ef4
child 44509 369e8c28a61a
comment
src/HOL/Tools/ATP/atp_translate.ML
     1.1 --- a/src/HOL/Tools/ATP/atp_translate.ML	Fri Aug 26 01:18:48 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_translate.ML	Fri Aug 26 10:12:17 2011 +0200
     1.3 @@ -1253,7 +1253,8 @@
     1.4  
     1.5  val default_sym_tab_entries : (string * sym_info) list =
     1.6    (prefixed_predicator_name,
     1.7 -   {pred_sym = true, min_ary = 1, max_ary = 1, types = []}) ::
     1.8 +   {pred_sym = true, min_ary = 1, max_ary = 1, types = []})
     1.9 +       (* FIXME: needed? *) ::
    1.10    (make_fixed_const NONE @{const_name undefined},
    1.11     {pred_sym = false, min_ary = 0, max_ary = 0, types = []}) ::
    1.12    ([tptp_false, tptp_true]