diff --git a/tests/bench/workspaceSymbols.lean b/tests/bench/workspaceSymbols.lean
index 92cc74c2c8..8612cce112 100644
--- a/tests/bench/workspaceSymbols.lean
+++ b/tests/bench/workspaceSymbols.lean
@@ -4,7 +4,7 @@ open Lean Elab
 def bench (pattern : String) : TermElabM Unit := do
   let env ← getEnv
   let mut n := 0
-  IO.println s!"{env.constants.size} decls"
+  -- IO.println s!"{env.constants.size} decls"
   for (c, _) in env.constants.toList do
     if Lean.FuzzyMatching.fuzzyMatch pattern c.toString then n := n + 1
   IO.println s!"{n} matches"