diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 23:10:08 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 23:10:08 -0800 |
| commit | ca33481f1ef06271147948193621d49d92947920 (patch) | |
| tree | 6a361d686667f1d64a1a7e4f7a1601dba74c5afe /src/map/if/ifDec16.c | |
| parent | bf97e901d76c816aec2cf21c7ec113c712e8c5c5 (diff) | |
| download | abc-ca33481f1ef06271147948193621d49d92947920.tar.gz abc-ca33481f1ef06271147948193621d49d92947920.tar.bz2 abc-ca33481f1ef06271147948193621d49d92947920.zip | |
Temporary debugging change.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -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++ ) |