# HG changeset patch
# User blanchet
# Date 1308499969 -7200
# Node ID b62336f85ea7c5198a35205e79db135a50321449
# Parent  52f040bcfae77a8013d0b716c47a0dee84c47153
recognize one more E failure message

diff -r 52f040bcfae7 -r b62336f85ea7 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun Jun 19 18:12:49 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Sun Jun 19 18:12:49 2011 +0200
@@ -213,8 +213,7 @@
       (ProofMissing, "SZS status Theorem"),
       (TimedOut, "Failure: Resource limit exceeded (time)"),
       (TimedOut, "time limit exceeded"),
-      (OutOfResources,
-       "# Cannot determine problem status within resource limit"),
+      (OutOfResources, "# Cannot determine problem status"),
       (OutOfResources, "SZS status: ResourceOut"),
       (OutOfResources, "SZS status ResourceOut")],
    conj_sym_kind = Hypothesis,