# HG changeset patch
# User blanchet
# Date 1282157635 -7200
# Node ID f881b865dcf4e63509919a2f79466ffaeec12497
# Parent  bbb0982656eb6d48e244045600565a201e6c3fea
don't get confused by wrong slice

diff -r bbb0982656eb -r f881b865dcf4 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 20:17:03 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 20:53:55 2010 +0200
@@ -196,7 +196,6 @@
       (IncompleteUnprovable, "CANNOT PROVE"),
       (TimedOut, "SZS status Timeout"),
       (Unprovable, "Satisfiability detected"),
-      (OutOfResources, "Refutation not found"),
       (VampireTooOld, "not a valid option")],
    default_max_relevant_per_iter = 45 (* FIXME *),
    default_theory_relevant = false,