Skip to content

Commit

Permalink
trying to fix for old Julia
Browse files Browse the repository at this point in the history
  • Loading branch information
pogudingleb committed Nov 12, 2023
1 parent aded2d6 commit c54df7f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/logging.jl
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ const _runtime_logger = Dict(
const _si_logger = @static if VERSION >= v"1.7.0"
Ref{Logging.ConsoleLogger}(Logging.ConsoleLogger(Logging.Info, show_limited = false))
else
Ref{Logging.ConsoleLogger}(Logging.ConsoleLogger(Logging.Info))
Ref{Logging.ConsoleLogger}(Logging.ConsoleLogger())
end

const _groebner_loglevel = Ref{Int}(0)
Expand Down

0 comments on commit c54df7f

Please sign in to comment.