diff --git a/Project.toml b/Project.toml index 086bba8f3a59..92fa8fd09476 100644 --- a/Project.toml +++ b/Project.toml @@ -25,7 +25,7 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4" cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade" [compat] -AbstractAlgebra = "0.40.6" +AbstractAlgebra = "0.40.8" AlgebraicSolving = "0.4.11" Distributed = "1.6" DocStringExtensions = "0.8, 0.9" diff --git a/src/Oscar.jl b/src/Oscar.jl index 1ae219a50eb0..c27eb2038f76 100644 --- a/src/Oscar.jl +++ b/src/Oscar.jl @@ -58,7 +58,7 @@ function __init__() # initialize random seed set_seed!(rand(UInt32)) - if isinteractive() && Base.JLOptions().banner != 0 + if AbstractAlgebra.should_show_banner() _print_banner() end