do not show the OscarInterface banner

oscar-system · Feb 23, 2024 · 5f86803 · 5f86803
1 parent 7164435
commit 5f86803
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Oscar.jl b/src/Oscar.jl
@@ -83,7 +83,7 @@ function __init__()
   # `Julia.Oscar` if Oscar is loaded indirectly as a package dependency)
   GAP.Globals.BindGlobal(GapObj("Oscar"), Oscar)
   GAP.Globals.SetPackagePath(GAP.Obj("OscarInterface"), GAP.Obj(joinpath(@__DIR__, "..", "gap", "OscarInterface")))
-  GAP.Globals.LoadPackage(GAP.Obj("OscarInterface"))
+  GAP.Globals.LoadPackage(GAP.Obj("OscarInterface"), false)
   withenv("TERMINFO_DIRS" => joinpath(GAP.GAP_jll.Readline_jll.Ncurses_jll.find_artifact_dir(), "share", "terminfo")) do
     GAP.Packages.load("browse"; install=true) # needed for all_character_table_names doctest
   end