# HG changeset patch
# User blanchet
# Date 1275746915 -7200
# Node ID cdba266f038384e357be3ee7cdb35b05c2f88d60
# Parent  4402a2bfa204583f59eb5f793edfcaa463051c94
fix remote Vampire diagnosis

diff -r 4402a2bfa204 -r cdba266f0383 src/HOL/Tools/ATP_Manager/atp_systems.ML
--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Sat Jun 05 15:59:58 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Sat Jun 05 16:08:35 2010 +0200
@@ -276,7 +276,7 @@
    known_failures =
      [(Unprovable, "Satisfiability detected"),
       (Unprovable, "UNPROVABLE"),
-      (OutOfResources, "CANNOT PROVE"),
+      (Unprovable, "CANNOT PROVE"),
       (OutOfResources, "Refutation not found")],
    max_axiom_clauses = 60,
    prefers_theory_relevant = false}