# HG changeset patch
# User blanchet
# Date 1335533077 -7200
# Node ID 02bdd591eb8f94134a09d0454628c787e2877352
# Parent  804fdf0f6006a7a018f01e092d95e896f6a1efc8
move LEO-II closer to the top, for testing

diff -r 804fdf0f6006 -r 02bdd591eb8f src/HOL/TPTP/atp_problem_import.ML
--- a/src/HOL/TPTP/atp_problem_import.ML	Fri Apr 27 15:24:37 2012 +0200
+++ b/src/HOL/TPTP/atp_problem_import.ML	Fri Apr 27 15:24:37 2012 +0200
@@ -152,12 +152,12 @@
                     (atp_tac ctxt overload_params timeout prover i)
   in
     slice [] 7 ATP_Systems.satallaxN
+    ORELSE slice [] 7 ATP_Systems.leo2N
     ORELSE slice [] 7 ATP_Systems.spassN
     ORELSE slice [] 7 z3N
     ORELSE slice [] 7 ATP_Systems.vampireN
     ORELSE slice [] 7 ATP_Systems.eN
     ORELSE slice [] 7 cvc3N
-    ORELSE slice [] 7 ATP_Systems.leo2N
   end
 
 fun auto_etc_tac ctxt timeout i =