diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
index 5b79f8271..ef7618ecf 100644
--- a/src/kontrol/prove.py
+++ b/src/kontrol/prove.py
@@ -481,7 +481,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 progress.update(task, advance=1, status='Finished')
 
             if options.minimize_proofs or options.config_type == ConfigType.SUMMARY_CONFIG:
-                proof.minimize_kcfg(heuristics=KEVMSemantics(), merge=True)
+                proof.minimize_kcfg(heuristics=KontrolSemantics(), merge=True)
 
             if start_time is not None:
                 end_time = time.time()