From e3535db5e5f59b34a4dc442fe69183e05bb2d051 Mon Sep 17 00:00:00 2001
From: giopaglia <24519853+giopaglia@users.noreply.github.com>
Date: Fri, 7 Jun 2024 16:36:56 +0200
Subject: [PATCH] Rm truerfirst param

---
 src/searchmethods/beamsearch.jl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/searchmethods/beamsearch.jl b/src/searchmethods/beamsearch.jl
index 83e6db8..bddf355 100644
--- 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