diff options
| -rw-r--r-- | src/map/if/ifDec16.c | 2 |
1 files changed, 1 insertions, 1 deletions
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++ ) |