diff --git a/pyk/src/pyk/ktool/kprove.py b/pyk/src/pyk/ktool/kprove.py
index f50a641f4a..517763120c 100644
--- a/pyk/src/pyk/ktool/kprove.py
+++ b/pyk/src/pyk/ktool/kprove.py
@@ -30,7 +30,6 @@
 
     from ..kast.outer import KClaim, KRule, KRuleLike
     from ..kast.pretty import SymbolTable
-    from ..kcfg import KCFGExplore
     from ..utils import BugReport
 
 _LOGGER: Final = logging.getLogger(__name__)
@@ -160,7 +159,6 @@ class KProve(KPrint):
     main_file: Path | None
     prover: list[str]
     prover_args: list[str]
-    _kcfg_explore: KCFGExplore | None
 
     def __init__(
         self,
@@ -183,7 +181,6 @@ def __init__(
         self.main_file = main_file
         self.prover = [command]
         self.prover_args = []
-        self._kcfg_explore = None
 
     def prove(
         self,