mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-04 22:36:10 +00:00
Code Activity

add comment

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-06-17 17:44:54 -06:00
parent b5a3d4fcb0
commit 41471bbc3e
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/solver/parallel_tactical2.cpp
View file

@ -709,6 +709,7 @@ class parallel_solver {
} }
} }
// NSB: this function is not used
void release_lease(unsigned worker_id, node_lease const& lease) { void release_lease(unsigned worker_id, node_lease const& lease) {
std::scoped_lock lock(mux); std::scoped_lock lock(mux);
release_lease_unlocked(worker_id, lease.leased_node); release_lease_unlocked(worker_id, lease.leased_node);