# HG changeset patch
# User blanchet
# Date 1335293709 -7200
# Node ID d349c8ff3ace37e30179868d32f498d67c58bea6
# Parent  ea153f6abdb613ab8035b5ad66d75d060df3ae5c
removed confusing error

diff -r ea153f6abdb6 -r d349c8ff3ace src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Apr 24 16:06:12 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Apr 24 20:55:09 2012 +0200
@@ -303,8 +303,7 @@
    known_failures =
      known_szs_status_failures @
      [(TimedOut, "Failure: Resource limit exceeded (time)"),
-      (TimedOut, "time limit exceeded"),
-      (OutOfResources, "# Cannot determine problem status")],
+      (TimedOut, "time limit exceeded")],
    conj_sym_kind = Hypothesis,
    prem_kind = Conjecture,
    best_slices = fn ctxt =>