--- 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 " ^