From c54df7f3d3f8d32600e79857ca26fa34f3fc9afc Mon Sep 17 00:00:00 2001 From: pogudingleb Date: Sun, 12 Nov 2023 14:54:59 +0100 Subject: [PATCH] trying to fix for old Julia --- src/logging.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/logging.jl b/src/logging.jl index e6c2500ef..2879341f6 100644 --- a/src/logging.jl +++ b/src/logging.jl @@ -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)