changeset 51998 | f732a674db1b |
parent 51919 | 097b191d1f0d |
child 52073 | ccb292952774 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed May 15 17:27:24 2013 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Wed May 15 17:43:42 2013 +0200 @@ -646,7 +646,7 @@ (output, 0) => split_lines output | (output, _) => (warning (case extract_known_failure known_perl_failures output of - SOME failure => string_for_failure failure + SOME failure => string_of_failure failure | NONE => trim_line output ^ "."); [])) () handle TimeLimit.TimeOut => []