From 6894701cf957aef1c0b1ad8f9731dad9cdd984fd Mon Sep 17 00:00:00 2001
From: Lars Kastner <lkastner@users.noreply.github.com>
Date: Thu, 11 Apr 2024 22:32:19 +0200
Subject: [PATCH] Hide Oscar.jl banner, when used in other module (#3541)

Hide Oscar banner, when used in other module
---
 Project.toml | 2 +-
 src/Oscar.jl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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