1.1 --- a/src/HOL/TPTP/mash_eval.ML	Wed Jul 18 08:44:05 2012 +0200
     1.2 +++ b/src/HOL/TPTP/mash_eval.ML	Wed Jul 18 08:44:05 2012 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  val max_facts_slack = 2
     1.5  
     1.6  val all_names =
     1.7 -  filter_out (is_likely_tautology_or_too_meta)
     1.8 +  filter_out is_likely_tautology_or_too_meta
     1.9    #> map (rpair () o Thm.get_name_hint) #> Symtab.make
    1.10  
    1.11  fun evaluate_mash_suggestions ctxt params thy file_name =