From c124cf91a28c43bb78550566019268eb95900bb8 Mon Sep 17 00:00:00 2001 From: Alexander Demin Date: Sat, 27 Jan 2024 01:20:03 +0300 Subject: [PATCH] turn off perf. counters --- src/Groebner.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Groebner.jl b/src/Groebner.jl index 6481c725..9c0d1f01 100644 --- a/src/Groebner.jl +++ b/src/Groebner.jl @@ -47,7 +47,7 @@ If performance-tracking macro `@timeit` should be enabled in Groebner. When this is `false`, all performance counters in Groebner are disabled and entail **(almost)** no runtime overhead. """ -performance_counters_enabled() = true +performance_counters_enabled() = false ### # Imports