diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-05 22:59:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-05 22:59:11 -0700 |
| commit | d32af2df38887a89883a46f00941549a66e8e530 (patch) | |
| tree | 4be320920582ff332b0f369878a42aca9cf2a260 /src/map | |
| parent | 0f49783ca0d2fe89d533dbe7fd676624b3ac69e2 (diff) | |
| download | abc-d32af2df38887a89883a46f00941549a66e8e530.tar.gz abc-d32af2df38887a89883a46f00941549a66e8e530.tar.bz2 abc-d32af2df38887a89883a46f00941549a66e8e530.zip | |
Compiler warning.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifDec07.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c index 725b532f..3fdc8f47 100644 --- a/src/map/if/ifDec07.c +++ b/src/map/if/ifDec07.c @@ -1097,8 +1097,8 @@ int If_CutPerformCheck07( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave // If_DecPrintConfig( z ); If_Dec6Verify( t, z ); } - if ( z == 0 ) - Extra_PrintHex(stdout, (unsigned *)&t, 6), printf( " " ), Kit_DsdPrintFromTruth( (unsigned *)&t, 6 ), printf( "\n" ); +// if ( z == 0 ) +// Extra_PrintHex(stdout, (unsigned *)&t, 6), printf( " " ), Kit_DsdPrintFromTruth( (unsigned *)&t, 6 ), printf( "\n" ); return z != 0; } if ( nLeaves == 7 ) |