fix for 1.6

sumiya11 · Dec 10, 2023 · 74fac1b · 74fac1b
1 parent 9c2e620
commit 74fac1b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/experimental/example-maybe-bug.jl b/experimental/example-maybe-bug.jl
@@ -7,7 +7,7 @@ gb = Groebner.groebner(s, loglevel=-2, modular=:learn_and_apply)
 gb2 = Groebner.groebner(s, loglevel=-2, modular=:classic_modular)
 gb == gb2
 
-k = Groebner.noonn(8, ground=QQ, ordering=:degrevlex)
+k = Groebner.noonn(7, ground=QQ, ordering=:degrevlex)
 
 @time gb = Groebner.groebner(k, loglevel=0, modular=:learn_and_apply);
 @time gb2 = Groebner.groebner(k, loglevel=0, modular=:classic_modular);

diff --git a/src/utils/logging.jl b/src/utils/logging.jl
@@ -34,8 +34,7 @@ function meta_formatter_groebner end
         meta_formatter=meta_formatter_groebner
     )
 else
-    backend_logger(level) =
-        Logging.ConsoleLogger(level; meta_formatter=meta_formatter_groebner)
+    backend_logger(level) = Logging.ConsoleLogger(level)
 end
 
 ###