From 9064e58665281c0e1db35d1f771bcec63945bbb4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 9 Jan 2020 21:38:10 -0800
Subject: [PATCH] aig roots

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_aig_cuts.cpp | 1 +
 1 file changed, 1 insertion(+)

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);