From f6a2fcc77d695be96ed9d6d225b8c55ead2f600e Mon Sep 17 00:00:00 2001 From: qhho Date: Sun, 28 Jul 2024 21:59:40 -0700 Subject: [PATCH] fix bracket in pruning check short-circuiting --- src/prune.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prune.jl b/src/prune.jl index 14023f9..2e1691c 100644 --- a/src/prune.jl +++ b/src/prune.jl @@ -91,7 +91,7 @@ function prune_alpha!(tree::SARSOPTree, δ) for (i, α_i) ∈ enumerate(Γ) pruned[i] && continue for (j, α_j) ∈ enumerate(Γ) - pruned[j] || j == i && continue + (pruned[j] || j == i) && continue recertify_witnesses!(tree, α_i, α_j, δ) if isempty(α_i.witnesses) pruned[i] = true