rename mibs file

joaquimg · Apr 20, 2022 · 1c0dd26 · 1c0dd26
1 parent 6afcd7c
commit 1c0dd26
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