Fixing compatibility issues between JuMP and GLPK

sisl · May 7, 2024 · 1d3ed7a · 1d3ed7a
1 parent 0202cff
commit 1d3ed7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/overt_to_mip.jl b/src/overt_to_mip.jl
@@ -48,7 +48,7 @@ end
 function OvertMIP(overt_app::OverApproximation; threads=0, model=DEFAULT_MODEL)
     if model == "glpk" || model == "GLPK"
         model = Model(GLPK.Optimizer)
-        set_optimizer_attribute(model, "msg_lev", GLPK.MSG_OFF)                         
+        set_optimizer_attribute(model, "msg_lev", GLPK.GLP_MSG_OFF)                         
     elseif model == "gurobi" || model == "Gurobi"
         println("Calling OvertMIP constructor with Gurobi.")
         model = gurobi_model(threads) # if Gurobi hasn't been loaded this will fail