From 30d0a31740e8d0372449d40d2ac62a021a38270d Mon Sep 17 00:00:00 2001 From: odow Date: Tue, 19 Sep 2023 11:22:03 +1200 Subject: [PATCH] Update --- src/Utilities/objective_container.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Utilities/objective_container.jl b/src/Utilities/objective_container.jl index 5effee8f26..a23c321b5e 100644 --- a/src/Utilities/objective_container.jl +++ b/src/Utilities/objective_container.jl @@ -332,7 +332,7 @@ function MOI.delete(o::ObjectiveContainer, x::MOI.VariableIndex) elseif o.vector_variables !== nothing o.vector_variables = remove_variable(_not_nothing(o.vector_variables), x) - if isempty(o.vector_variables.variables) + if isempty(_not_nothing(o.vector_variables).variables) _empty_keeping_sense(o) end elseif o.vector_affine !== nothing @@ -374,7 +374,7 @@ function MOI.delete(o::ObjectiveContainer, x::Vector{MOI.VariableIndex}) elseif o.vector_variables !== nothing o.vector_variables = filter_variables(keep, _not_nothing(o.vector_variables)) - if isempty(o.vector_variables.variables) + if isempty(_not_nothing(o.vector_variables).variables) _empty_keeping_sense(o) end elseif o.vector_affine !== nothing