merged
authorhaftmann
Thu, 18 Nov 2010 12:37:30 +0100
changeset 40598 16742772a9b3
parent 40596 8353cb427527 (diff)
parent 40597 19b449037ace (current diff)
child 40599 f4b806e77fe6
child 40602 91e583511113
merged
--- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Nov 18 10:59:42 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Nov 18 12:37:30 2010 +0100
@@ -166,7 +166,6 @@
      [(Unprovable, "UNPROVABLE"),
       (IncompleteUnprovable, "CANNOT PROVE"),
       (TimedOut, "SZS status Timeout"),
-      (TimedOut, "Time limit reached"),
       (Unprovable, "Satisfiability detected"),
       (Unprovable, "Termination reason: Satisfiable"),
       (VampireTooOld, "not a valid option"),