# HG changeset patch
# User blanchet
# Date 1502095240 -7200
# Node ID 5deeb0dbccb4501989ed16e8e30784286ef32119
# Parent  af5c71cffec57e87fa0369f68fa2d6052ea24046
updated remote Vampire version

diff -r af5c71cffec5 -r 5deeb0dbccb4 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Sun Aug 06 22:54:17 2017 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Aug 07 10:40:40 2017 +0200
@@ -724,7 +724,7 @@
   remotify_atp satallax "Satallax" ["2.7", "2.3", "2"]
     (K (((60, ""), satallax_thf0, "mono_native_higher", keep_lamsN, false), "") (* FUDGE *))
 val remote_vampire =
-  remotify_atp vampire "Vampire" ["4.0", "3.0", "2.6"]
+  remotify_atp vampire "Vampire" ["4.2", "4.0"]
     (K (((400, ""), vampire_tff0, "mono_native", combs_or_liftingN, false), remote_vampire_full_proof_command) (* FUDGE *))
 val remote_e_sine =
   remote_atp e_sineN "SInE" ["0.4"] [] (#known_failures e_config) Conjecture