diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py
index 89473a4d6d..ee4f4617e1 100644
--- a/kevm-pyk/src/kevm_pyk/cli.py
+++ b/kevm-pyk/src/kevm_pyk/cli.py
@@ -838,7 +838,6 @@ def kprove_args(self) -> ArgumentParser:
         args.add_argument(
             '--maintenance-rate',
             dest='maintenance_rate',
-            default=1,
             type=int,
             help='The number of proof iterations performed between two writes to disk and status bar updates. Note that setting to >1 may result in work being discarded if proof is interrupted.',
         )