From 5e624ffc14c5511506eef6d8f8513bd2aaaf520f Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Thu, 13 Jun 2024 16:42:46 +0200 Subject: [PATCH] switch off GAP's info messages late enough Switch off info messages *after* (installing and) loading GAP packages, since packages may define new info classes which have by default a nonzero info level. (This happens for the Recog package.) --- src/Oscar.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Oscar.jl b/src/Oscar.jl index 8a0cb2653111..87285f9abdf5 100644 --- a/src/Oscar.jl +++ b/src/Oscar.jl @@ -83,7 +83,6 @@ function __init__() (GAP.Globals.IsSubgroupFpGroup, FPGroup), (GAP.Globals.IsGroupOfAutomorphisms, AutomorphismGroup), ]) - __GAP_info_messages_off() # make Oscar module accessible from GAP (it may not be available as # `Julia.Oscar` if Oscar is loaded indirectly as a package dependency) GAP.Globals.BindGlobal(GapObj("Oscar"), Oscar) @@ -124,6 +123,7 @@ function __init__() ] GAP.Packages.load(pkg) end + __GAP_info_messages_off() __init_group_libraries() add_verbosity_scope(:K3Auto)