remove tree from SearchResult for efficiency

lean-dojo · Dec 13, 2023 · 5a84be1 · 5a84be1
1 parent cd69680
commit 5a84be1
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/prover/proof_search.py b/prover/proof_search.py
@@ -37,7 +37,6 @@ class SearchResult:
     theorem: Theorem
     status: Status
     proof: Optional[List[str]]
-    tree: Node
 
     # Some statistics during proof search.
     actor_time: float
@@ -113,7 +112,6 @@ def search(
                 theorem=thm,
                 status=self.root.status,
                 proof=proof,
-                tree=self.root,
                 actor_time=self.actor_time,
                 environment_time=self.environment_time,
                 total_time=self.total_time,