# HG changeset patch
# User blanchet
# Date 1289203844 -3600
# Node ID 339f564171098d352064864467c5af064199946e
# Parent  718b44dbd74dc1974c0358b1e360fc78f8a99611
recognize Vampire error

diff -r 718b44dbd74d -r 339f56417109 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Nov 08 02:33:48 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Nov 08 09:10:44 2010 +0100
@@ -166,6 +166,7 @@
      [(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"),