# HG changeset patch
# User blanchet
# Date 1290073958 -3600
# Node ID 8353cb4275270f9951af8abab84a1794d7b8a934
# Parent  448520778e383d43071fd94ffaa9d73f5236c6a5
remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem

diff -r 448520778e38 -r 8353cb427527 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Nov 17 23:20:26 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Nov 18 10:52:38 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"),