1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Jun 08 13:45:01 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Jun 08 16:20:18 2011 +0200
     1.3 @@ -432,7 +432,7 @@
     1.4               [(OutOfResources, "Too many function symbols"),
     1.5                (Crashed, "Unrecoverable Segmentation Fault")]
     1.6               Hypothesis Hypothesis [CNF_UEQ]
     1.7 -             (K (50, ["poly_args"]) (* FUDGE *))
     1.8 +             (K (50, ["mangled_args", "mangled_tags?"]) (* FUDGE *))
     1.9  
    1.10  (* Setup *)
    1.11