diff --git a/src/math/polysat/viable.cpp b/src/math/polysat/viable.cpp
index 074d1652e..8daabb31e 100644
--- a/src/math/polysat/viable.cpp
+++ b/src/math/polysat/viable.cpp
@@ -731,7 +731,7 @@ namespace polysat {
     }
 
     void viable::log() {
-        for (pvar v = 0; v < std::min(10u, m_units.size()); ++v)
+        for (pvar v = 0; v < m_units.size(); ++v)
             log(v);
     }