--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML Fri Jan 21 16:17:42 2022 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML Fri Jan 21 21:09:55 2022 +0100
@@ -657,7 +657,7 @@
known_failures = known_szs_status_failures,
prem_role = prem_role,
best_slices =
- K [(1.0, (((200, ""), format, type_enc,
+ K [(1.0, (((200, "mepo"), format, type_enc,
if is_format_higher_order format then keep_lamsN
else combsN, uncurried_aliases), ""))],
best_max_mono_iters = default_max_mono_iters,