From daf23cfe026bb94844101429a0b48259f0906e63 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 20 Jan 2022 17:47:17 +0100
Subject: [PATCH] wlist_invariant

---
 src/math/polysat/solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/polysat/solver.cpp b/src/math/polysat/solver.cpp
index 7e93f7138..bcd3099bd 100644
--- a/src/math/polysat/solver.cpp
+++ b/src/math/polysat/solver.cpp
@@ -975,7 +975,7 @@ namespace polysat {
             }
             unsigned expected_watches = std::min(2u, c->vars().size());
             if (num_watches != expected_watches)
-                LOG("wrong number of watches: " << c);
+                LOG("wrong number of watches: " << sc << "   vars: " << sc->vars());
             SASSERT_EQ(num_watches, expected_watches);
         }
         return true;