checkantecedent 3 dispatches removed

aclai-lab · Oct 25, 2024 · 7b1d32c · 7b1d32c
1 parent 5a5a6e8
commit 7b1d32c
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/utils/base.jl b/src/utils/base.jl
@@ -532,11 +532,6 @@ checkantecedent(
     kwargs...
 ) = check(antecedent(m), d, args...; kwargs...)
 
-# TODO remove:
-# checkantecedent(::Union{Rule{O,Top},Branch{O,Top}}, i::AbstractInterpretation, args...; kwargs...) where {O} = true
-# checkantecedent(::Union{Rule{O,Top},Branch{O,Top}}, d::AbstractInterpretationSet, i_instance::Integer, args...; kwargs...) where {O} = true
-# checkantecedent(::Union{Rule{O,Top},Branch{O,Top}}, d::AbstractInterpretationSet, args...; kwargs...) where {O} = fill(true, ninstances(d))
-
 ############################################################################################
 ############################################################################################