Merge pull request #173 from joaquimg/jg/mibsr

Rename mibs file
joaquimg · Apr 20, 2022 · b058ccb · b058ccb
2 parents f678df5 + 1c0dd26
commit b058ccb
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/BilevelJuMP.jl b/src/BilevelJuMP.jl
@@ -25,6 +25,6 @@ include("jump_objective.jl")
 include("jump_print.jl")
 include("jump_attributes.jl")
 include("jump_nlp.jl")
-include("jump_input.jl")
+include("mibs.jl")
 
 end
diff --git a/src/jump_input.jl → src/mibs.jl b/src/jump_input.jl → src/mibs.jl