From bf97e901d76c816aec2cf21c7ec113c712e8c5c5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 12 Nov 2011 23:07:19 -0800
Subject: Temporary debugging change.

---
 src/map/if/ifDec16.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/map/if/ifDec16.c')

diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index 777cfa53..5e73de42 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -687,6 +687,8 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t
     assert( g->nVars >= 2 && g2->nVars >= 2 && r->nVars >= 2 );
     assert( g->nVars <= 6 && g2->nVars <= 6 && r->nVars <= 6 );
 
+    printf( "%d\n\n", TruthAll[0][0] );
+
     if ( TruthAll[0][0] == 0 )
         If_CluInitTruthTables();
 
-- 
cgit v1.2.3