# HG changeset patch
# User blanchet
# Date 1314314328 -7200
# Node ID e08158671ef4b8668cf73dec6cffb0f282e23757
# Parent  7e3913e70846bdff11470deccc3d5f4829897ab1
disable TFF for Vampire 1.8 until they've fixed the soundness issues and it's back on SystemOnTPTP

diff -r 7e3913e70846 -r e08158671ef4 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Fri Aug 26 01:14:49 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Fri Aug 26 01:18:48 2011 +0200
@@ -304,8 +304,10 @@
 
 (* Vampire *)
 
+(* Vampire 1.8 has TFF support, but it's buggy and therefore disabled on
+   SystemOnTPTP. *)
 fun is_old_vampire_version () =
-  string_ord (getenv "VAMPIRE_VERSION", "1.8") = LESS
+  string_ord (getenv "VAMPIRE_VERSION", "1.8") <> GREATER
 
 val vampire_config : atp_config =
   {exec = ("VAMPIRE_HOME", "vampire"),