From 287825366f67c29bc276fe4d6cffee5374b24449 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 11 Oct 2025 21:27:58 -0700
Subject: [PATCH] Refactor close_with_core to use current node in lambda

---
 src/util/search_tree.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/search_tree.h b/src/util/search_tree.h
index 91a81bd60..6ce4d66f3 100644
--- a/src/util/search_tree.h
+++ b/src/util/search_tree.h
@@ -172,7 +172,7 @@ namespace search_tree {
             if (!n || n->get_status() == status::closed)
                 return;
             node<Config> *p = n->parent();
-          if (p && any_of(C, [](auto const& l) {
+          if (p && any_of(C, [n](auto const& l) {
                 return l == n->get_literal(); }
         })) {
             close_with_core(p, C);