diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-31 22:19:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-31 22:19:15 -0700 |
| commit | 49c2661ae1db3c038dcf3095ec1ed9c093e0dd15 (patch) | |
| tree | a1487a1b71485c3421e47debab851dadf093a517 | |
| parent | 1c56a92a6c508a6ec19419772cdff3bb4e54ab10 (diff) | |
| download | abc-49c2661ae1db3c038dcf3095ec1ed9c093e0dd15.tar.gz abc-49c2661ae1db3c038dcf3095ec1ed9c093e0dd15.tar.bz2 abc-49c2661ae1db3c038dcf3095ec1ed9c093e0dd15.zip | |
Compiler warnings.
| -rw-r--r-- | src/map/if/ifTruth.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index db8d4aa0..8063dd5a 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -164,8 +164,8 @@ int If_CutComputeTruthPerm( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_ if ( fVerbose ) { -Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); -Kit_DsdPrintFromTruth( pTruth1, pCut1->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth1, pCut1->nLeaves ); printf( "\n" ); } // create literals for ( v = 0; v < (int)pCut0->nLeaves; v++ ) @@ -191,8 +191,8 @@ Kit_DsdPrintFromTruth( pTruth1, pCut1->nLeaves ); printf( "\n" ); if ( fVerbose ) { -Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); -Kit_DsdPrintFromTruth( pTruth1, pCut->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth0, pCut0->nLeaves ); printf( "\n" ); +//Kit_DsdPrintFromTruth( pTruth1, pCut->nLeaves ); printf( "\n" ); } // perform operation @@ -231,11 +231,11 @@ Kit_DsdPrintFromTruth( pTruth1, pCut->nLeaves ); printf( "\n" ); if ( fVerbose ) { -Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves ); printf( "\n" ); -If_CutPrint( pCut0 ); -If_CutPrint( pCut1 ); -If_CutPrint( pCut ); -printf( "%d\n\n", pCut->iCutFunc ); +//Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves ); printf( "\n" ); +//If_CutPrint( pCut0 ); +//If_CutPrint( pCut1 ); +//If_CutPrint( pCut ); +//printf( "%d\n\n", pCut->iCutFunc ); } return RetValue; |