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