diff --git a/tests/lean/run/match_expr_perf.lean b/tests/lean/run/match_expr_perf.lean
index 08c2379e66..b1a43fef53 100644
--- a/tests/lean/run/match_expr_perf.lean
+++ b/tests/lean/run/match_expr_perf.lean
@@ -11,7 +11,7 @@ import Lean.Elab.Tactic.Config
 
 open Lean Meta Omega
 
-set_option maxHeartbeats 5000
+set_option maxHeartbeats 6000
 def pushNot (h P : Expr) : MetaM (Option Expr) := do
   let P ← whnfR P
   trace[omega] "pushing negation: {P}"