From 41471bbc3e1412c9d4fc6624edbacbb1224fab41 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 17 Jun 2026 17:44:54 -0600 Subject: [PATCH] add comment Signed-off-by: Nikolaj Bjorner --- src/solver/parallel_tactical2.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/solver/parallel_tactical2.cpp b/src/solver/parallel_tactical2.cpp index 905adbbcd..262f2d96a 100644 --- a/src/solver/parallel_tactical2.cpp +++ b/src/solver/parallel_tactical2.cpp @@ -709,6 +709,7 @@ class parallel_solver { } } + // NSB: this function is not used void release_lease(unsigned worker_id, node_lease const& lease) { std::scoped_lock lock(mux); release_lease_unlocked(worker_id, lease.leased_node);