# HG changeset patch
# User blanchet
# Date 1337592712 -7200
# Node ID 0524790d2112a8417a480f269c9278e9bb59c9cd
# Parent  7b482cc7473e6237c9b7c5e0c325d77113d2a900
minor tweak in Vampire setup

diff -r 7b482cc7473e -r 0524790d2112 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon May 21 11:31:52 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon May 21 11:31:52 2012 +0200
@@ -462,8 +462,8 @@
    best_slices = fn ctxt =>
      (* FUDGE *)
      (if is_new_vampire_version () then
-        [(0.333, (false, ((150, vampire_tff0, "poly_guards??", combs_or_liftingN, false), sosN))),
-         (0.333, (false, ((500, vampire_tff0, "mono_native", combs_or_liftingN, false), sosN))),
+        [(0.333, (false, ((500, vampire_tff0, "mono_native", combs_or_liftingN, false), sosN))),
+         (0.333, (false, ((150, vampire_tff0, "poly_guards??", combs_or_liftingN, false), sosN))),
          (0.334, (true, ((50, vampire_tff0, "mono_native", combs_or_liftingN, false), no_sosN)))]
       else
         [(0.333, (false, ((150, FOF, "poly_guards??", combs_or_liftingN, false), sosN))),