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;