From 1836a571c992ea2981325f8979028b418eca247b Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Tue, 7 Jan 2025 19:25:15 +0100 Subject: [PATCH] share: fix misleading log message --- passes/opt/share.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/passes/opt/share.cc b/passes/opt/share.cc index 1408c512a..a4c17795c 100644 --- a/passes/opt/share.cc +++ b/passes/opt/share.cc @@ -1255,7 +1255,6 @@ struct ShareWorker qcsat.max_cell_count = 100; } - pool sat_cells; std::set bits_queue; std::vector cell_active, other_cell_active; @@ -1298,8 +1297,8 @@ struct ShareWorker qcsat.ez->assume(qcsat.ez->AND(sub1, sub2)); - log(" Size of SAT problem: %d cells, %d variables, %d clauses\n", - GetSize(sat_cells), qcsat.ez->numCnfVariables(), qcsat.ez->numCnfClauses()); + log(" Size of SAT problem: %d variables, %d clauses\n", + qcsat.ez->numCnfVariables(), qcsat.ez->numCnfClauses()); if (qcsat.ez->solve(sat_model, sat_model_values)) { log(" According to the SAT solver this pair of cells can not be shared.\n");