Skip to content

Commit eeed83a

Browse files
committed
Update
1 parent 0d4d582 commit eeed83a

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/Bridges/Variable/map.jl

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -691,6 +691,8 @@ Base.keys(::EmptyMap) = MOI.Utilities.EmptyVector{MOI.VariableIndex}()
691691

692692
Base.values(::EmptyMap) = MOI.Utilities.EmptyVector{AbstractBridge}()
693693

694+
Base.iterate(::EmptyMap) = nothing
695+
694696
has_bridges(::EmptyMap) = false
695697

696698
number_of_variables(::EmptyMap) = 0

0 commit comments

Comments
 (0)