From d3af1268a7cdea016a2d0f1325cfe2d452f0f9da Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 12 Feb 2025 11:22:32 +0100
Subject: [PATCH] test: fix `simp_arith1` benchmark (#7049)

---
 tests/bench/simp_arith1.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/bench/simp_arith1.lean b/tests/bench/simp_arith1.lean
index 2e9391009c..7f80c9ebfc 100644
--- a/tests/bench/simp_arith1.lean
+++ b/tests/bench/simp_arith1.lean
@@ -26,4 +26,4 @@ set_option maxRecDepth 10000
 -- set_option trace.profiler true
 example : largeGoal% := by
   intros
-  simp_arith only
+  simp +arith +decide only