From d32af2df38887a89883a46f00941549a66e8e530 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 5 Oct 2013 22:59:11 -0700 Subject: Compiler warning. --- src/map/if/ifDec07.c | 4 ++-- 1 file 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 ) -- cgit v1.2.3