src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

             |> tl |> curry ListPair.zip (map fst facts)
             |> maps (fn (name, rths) => map (pair name o zero_var_indexes o snd) rths)
           end
 
         val effective_fact_filter = fact_filter |> the_default good_fact_filter
-        val facts = get_facts_of_filter effective_fact_filter factss
+        val facts = facts_of_filter effective_fact_filter factss
         val num_facts =
           (case max_facts of
             NONE => good_max_facts
           | SOME max_facts => max_facts)
           |> Integer.min (length facts)