Skip to content

Commit

Permalink
remove one @info
Browse files Browse the repository at this point in the history
  • Loading branch information
zengjian-hu-rai committed Nov 2, 2023
1 parent 5a42b97 commit 277a772
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/optimize.jl
Original file line number Diff line number Diff line change
Expand Up @@ -189,7 +189,6 @@ function MOI.optimize!(dest::Optimizer{T}, src::MOI.ModelLike) where {T}
empty!(dest.primal_solutions)
index_map = MOI.copy_to(dest.inner, src)
ret = _run_minizinc(dest)
@info "[MiniZinc] Completed."
if !isempty(ret)
m_stat = match(r"=====(.+)=====", ret)
if m_stat !== nothing
Expand Down

0 comments on commit 277a772

Please sign in to comment.