Update

jump-dev · Sep 18, 2023 · 30d0a31 · 30d0a31
1 parent ca75339
commit 30d0a31
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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