# HG changeset patch
# User haftmann
# Date 1290080250 -3600
# Node ID 16742772a9b37a00285acd1e24a161198ef31f04
# Parent  8353cb4275270f9951af8abab84a1794d7b8a934# Parent  19b449037acebb19213663e7fa3609453ab300f7
merged

diff -r 19b449037ace -r 16742772a9b3 src/HOL/Tools/ATP/atp_systems.ML
--- 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"),