changeset 43288 | 7a4eebdebb23 |
parent 43221 | 2c88166938eb |
child 43354 | 396aaa15dd8b |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed Jun 08 13:45:01 2011 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Jun 08 16:20:18 2011 +0200 @@ -432,7 +432,7 @@ [(OutOfResources, "Too many function symbols"), (Crashed, "Unrecoverable Segmentation Fault")] Hypothesis Hypothesis [CNF_UEQ] - (K (50, ["poly_args"]) (* FUDGE *)) + (K (50, ["mangled_args", "mangled_tags?"]) (* FUDGE *)) (* Setup *)