diff --git a/src/math/polysat/explain.cpp b/src/math/polysat/explain.cpp
index 34064d735..cbc7d4040 100644
--- a/src/math/polysat/explain.cpp
+++ b/src/math/polysat/explain.cpp
@@ -92,7 +92,6 @@ namespace polysat {
             // c alone (+ variables) is now enough to represent the conflict.
             core.reset();
             core.set(c);
-            std::cout << "set c\n";
             return c->contains_var(v) ? l_undef : l_true;
         }
         return l_false;