From ed58f8c73642e6ebb7bf01ee705a6430e892f835 Mon Sep 17 00:00:00 2001
From: Oscar Dowson <odow@users.noreply.github.com>
Date: Thu, 8 Feb 2024 14:21:29 +1300
Subject: [PATCH] Fix use of private symbol in MOI.FileFormats.MPS

---
 src/mibs.jl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/mibs.jl b/src/mibs.jl
index 4937b225..225fdaa0 100644
--- a/src/mibs.jl
+++ b/src/mibs.jl
@@ -80,7 +80,12 @@ end
 function _index_to_row_link(model::MOI.FileFormats.MPS.Model)
     i = 0
     dict = Dict{MOI.ConstraintIndex,Int}()
-    for (S, _) in MOI.FileFormats.MPS.SET_TYPES
+    for S in (
+        MOI.GreaterThan{Float64},
+        MOI.LessThan{Float64},
+        MOI.EqualTo{Float64},
+        MOI.Interval{Float64},
+    )
         for ci in MOI.get(
             model,
             MOI.ListOfConstraintIndices{MOI.ScalarAffineFunction{Float64},S}(),