uwu

sumiya11 · Jul 27, 2024 · bc76a75 · bc76a75
1 parent 5dd4ff6
commit bc76a75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/learn_and_apply/learn_and_apply.jl b/test/learn_and_apply/learn_and_apply.jl
@@ -9,7 +9,7 @@ params = (loglevel=0, sweep=true)
     flag, gb2 = Groebner.groebner_apply!(trace, [x, y])
     @assert gb1 == gb2 && flag
 
-    show(trace);
+    show(trace)
 
     K = AbstractAlgebra.GF(2^31 - 1)
     R, (x, y) = polynomial_ring(K, ["x", "y"], internal_ordering=:degrevlex)