format correction

runtimeverification · Dec 17, 2024 · 096d88e · 096d88e
1 parent ebbc1b6
commit 096d88e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
@@ -475,7 +475,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 maintenance_rate=options.maintenance_rate,
                 assume_defined=options.assume_defined,
                 extra_module=extra_lemmas_module,
-                optimize_kcfg=options.optimize_kcfg
+                optimize_kcfg=options.optimize_kcfg,
             )
 
             if progress is not None and task is not None: