--- 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,