diff --git a/src/sat/sat_aig_cuts.cpp b/src/sat/sat_aig_cuts.cpp
index 607c1213e..a6fb24ebb 100644
--- a/src/sat/sat_aig_cuts.cpp
+++ b/src/sat/sat_aig_cuts.cpp
@@ -251,6 +251,7 @@ namespace sat {
                 augment_aig0(n, m_cuts[v]);
             }
             touch(v);
+            IF_VERBOSE(2, display(verbose_stream() << "add " << head.var() << " == ", n) << "\n");
         }
         else if (m_aig[v][0].is_const() || !insert_aux(v, n)) {
             m_literals.shrink(m_literals.size() - sz);