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