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);