# HG changeset patch # User blanchet # Date 1304267845 -7200 # Node ID 8121a31b6754d6383990924bd2f8b249b9e59bdb # Parent 84b134118616676e9f68409577491339dd982865 pick up GaveUp error on SystemOnTPTP diff -r 84b134118616 -r 8121a31b6754 src/HOL/Tools/ATP/atp_systems.ML --- a/src/HOL/Tools/ATP/atp_systems.ML Sun May 01 18:37:25 2011 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Sun May 01 18:37:25 2011 +0200 @@ -359,6 +359,7 @@ known_failures = known_failures @ known_perl_failures @ [(IncompleteUnprovable, "says Unknown"), + (IncompleteUnprovable, "says GaveUp"), (TimedOut, "says Timeout")], hypothesis_kind = hypothesis_kind, formats = formats,