diff --git a/tests/lean/run/grind_constProp.lean b/tests/lean/run/grind_constProp.lean
index acd43b7a66..692e805a8c 100644
--- a/tests/lean/run/grind_constProp.lean
+++ b/tests/lean/run/grind_constProp.lean
@@ -5,8 +5,6 @@ set_option grind.warning false
 attribute [grind cases] Or
 attribute [grind =] List.length_nil List.length_cons Option.getD
 
-set_option profiler true
-
 abbrev Var := String
 
 inductive Val where