Merge pull request #71 from MrVPlusOne/improve-search

Fix `inform!` for `ScoredScheduler`.
JuliaSymbolics · Aug 31, 2021 · 78a42f2 · 78a42f2
2 parents 614e1ee + a585d9e
commit 78a42f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EGraphs/Schedulers/scoredscheduler.jl b/src/EGraphs/Schedulers/scoredscheduler.jl
@@ -89,7 +89,7 @@ function inform!(s::ScoredScheduler, rule::AbstractRule, n_matches)
 
     rd = s.data[rule]
     treshold = rd.match_limit * (rd.weight^rd.times_banned)
-    if length(n_matches) > treshold
+    if n_matches > treshold
         ban_length = rd.ban_length * (rd.weight^rd.times_banned)
         rd.times_banned += 1
         rd.banned_until = s.curr_iter + ban_length