# HG changeset patch
# User blanchet
# Date 1361445746 -3600
# Node ID 4fb12e2598dc39bcb63cd2b8b82d0e60f133325b
# Parent  7d08487aa603e725ac861525f624aef23596ce60
swap slices so that the last slice is more complete (for minimization)

diff -r 7d08487aa603 -r 4fb12e2598dc src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Feb 21 12:22:26 2013 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Feb 21 12:22:26 2013 +0100
@@ -339,9 +339,9 @@
          [(0.15, (((128, meshN), FOF, "mono_tags??", combsN, false), e_fun_weightN)),
           (0.15, (((128, mashN), FOF, "mono_guards??", combsN, false), e_sym_offset_weightN)),
           (0.15, (((91, mepoN), FOF, "mono_tags??", combsN, false), e_autoN)),
-          (0.15, (((64, mashN), FOF, "mono_guards??", combsN, false), e_fun_weightN)),
           (0.15, (((1000, meshN), FOF, "poly_guards??", combsN, false), e_sym_offset_weightN)),
-          (0.25, (((256, mepoN), FOF, "mono_tags??", liftingN, false), e_fun_weightN))]
+          (0.15, (((256, mepoN), FOF, "mono_tags??", liftingN, false), e_fun_weightN)),
+          (0.25, (((64, mashN), FOF, "mono_guards??", combsN, false), e_fun_weightN))]
        else
          [(1.0, (((500, ""), FOF, "mono_tags??", combsN, false), heuristic))]
      end,