From ca33481f1ef06271147948193621d49d92947920 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 12 Nov 2011 23:10:08 -0800 Subject: Temporary debugging change. --- src/map/if/ifDec16.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/map/if/ifDec16.c') diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 5e73de42..59c14940 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -689,7 +689,7 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t printf( "%d\n\n", TruthAll[0][0] ); - if ( TruthAll[0][0] == 0 ) +// if ( TruthAll[0][0] == 0 ) If_CluInitTruthTables(); for ( i = 0; i < g->nVars; i++ ) -- cgit v1.2.3