Remove default maintenance_rate at argparse level (#2639)

runtimeverification · Oct 8, 2024 · 22bd433 · 22bd433
1 parent 2fd0490
commit 22bd433
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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.',
         )