From d39c732d8221eae6400669425aead8afbaa9e774 Mon Sep 17 00:00:00 2001
From: Bas Zalmstra <zalmstra.bas@gmail.com>
Date: Fri, 26 Jan 2024 16:43:24 +0100
Subject: [PATCH] feat: add requirement to debug output (#24)

---
 src/solver/mod.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/solver/mod.rs b/src/solver/mod.rs
index 5f1b813..b445ec3 100644
--- a/src/solver/mod.rs
+++ b/src/solver/mod.rs
@@ -608,12 +608,12 @@ impl<VS: VersionSet, N: PackageName + Display, D: DependencyProvider<VS, N>> Sol
             }
         }
 
-        if let Some((count, (candidate, solvable_id, _clause_id))) = best_decision {
+        if let Some((count, (candidate, _solvable_id, clause_id))) = best_decision {
             tracing::info!(
-                "deciding to assign {} with {} candidates (required by {})",
+                "deciding to assign {}, ({:?}, {} possible candidates)",
                 candidate.display(self.pool()),
+                self.clauses[clause_id].debug(self.pool()),
                 count,
-                solvable_id.display(self.pool())
             );
         }