From 061cf5c6c41c6d2e4c7460453d466dd2ab15ce53 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 19 Mar 2025 10:27:23 +0100
Subject: [PATCH] share: re-add SAT solver cell count to log message

---
 passes/opt/share.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/passes/opt/share.cc b/passes/opt/share.cc
index 40d6d1d20..1a4e2b31c 100644
--- a/passes/opt/share.cc
+++ b/passes/opt/share.cc
@@ -1297,8 +1297,8 @@ struct ShareWorker
 
 				qcsat.ez->assume(qcsat.ez->AND(sub1, sub2));
 
-				log("      Size of SAT problem: %d variables, %d clauses\n",
-						qcsat.ez->numCnfVariables(), qcsat.ez->numCnfClauses());
+				log("      Size of SAT problem: %zu cells, %d variables, %d clauses\n",
+						qcsat.imported_cells.size(), 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");