Rm truerfirst param

aclai-lab · Jun 7, 2024 · e3535db · e3535db
1 parent 7a3c9fa
commit e3535db
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/searchmethods/beamsearch.jl b/src/searchmethods/beamsearch.jl
@@ -287,7 +287,7 @@ end
 ############################################################################################
 
 function find_singlerule(
-    candidates::AbstractVector{<:Tuple{Formula, SatMask}},
+    candidates::AbstractVector{<:Tuple{Formula,SatMask}},
     X::AbstractLogiset,
     y::AbstractVector{<:Integer},
     w::AbstractVector,
@@ -297,7 +297,6 @@ function find_singlerule(
     n_labels,
     # optional positional
     discretizedomain::Bool=false,
-    truerfirst::Bool=false,
     max_rule_length::Union{Nothing,Integer}=nothing,
     alphabet::Union{Nothing,AbstractAlphabet}=nothing,
     max_info_gain::Union{Nothing,Real}=nothing