Skip to content

Commit

Permalink
fixing old julia versions
Browse files Browse the repository at this point in the history
  • Loading branch information
pogudingleb committed Nov 12, 2023
1 parent cd54b1d commit aded2d6
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion src/logging.jl
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,12 @@ const _runtime_logger = Dict(
:id_beautifulization => 0,
)

const _si_logger =
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))
end

const _groebner_loglevel = Ref{Int}(0)

function restart_logging(; loglevel = Logging.Info)
Expand Down

0 comments on commit aded2d6

Please sign in to comment.