# HG changeset patch
# User blanchet
# Date 1626166634 -7200
# Node ID f0d231ead66091e8f10281dda89f2e6dccac0ce2
# Parent  b304285fd80012dd799366207314d40c532aa42b
added alternative E binary name

diff -r b304285fd800 -r f0d231ead660 src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML	Mon Jul 12 16:30:17 2021 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML	Tue Jul 13 10:57:14 2021 +0200
@@ -268,7 +268,7 @@
     end
 
 val e_config : atp_config =
-  {exec = (["E_HOME"], ["eprover"]),
+  {exec = (["E_HOME"], ["eprover-ho", "eprover"]),
    arguments = fn ctxt => fn _ => fn heuristic => fn timeout => fn problem =>
      fn ({is_lpo, gen_weights, gen_prec, ...}, ord_info, sel_weights) =>
        ["--auto-schedule --tstp-in --tstp-out --silent " ^