# HG changeset patch
# User desharna
# Date 1642795795 -3600
# Node ID 300463f379bf3e8441da55ef6eb993e3241783db
# Parent  fe14ceff1cfdf09339cf0660f853d54518e149b8
proper fact filter for dummy ATPs

diff -r fe14ceff1cfd -r 300463f379bf src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML
--- 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,