From 2c98f55a5d850db71d365d18eb094b183dee7b1a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Mon, 12 May 2025 08:56:05 +0000
Subject: [PATCH] Remove unused private attribute from `KProve`

This eliminates a (package level) circularity between `kcfg` and
`ktool`.
---
 pyk/src/pyk/ktool/kprove.py | 3 ---
 1 file changed, 3 deletions(-)

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,