diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-02 14:07:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-02 14:07:55 -0700 |
| commit | e782bbb8428b3c402a62be8ab84b44223855356a (patch) | |
| tree | 6899460c5c02d23d773fd4798229e3d7a0c45b73 /src/aig/gia/giaShrink.c | |
| parent | bc504219287b22898d5e7c6e1d5756265b957eca (diff) | |
| download | abc-e782bbb8428b3c402a62be8ab84b44223855356a.tar.gz abc-e782bbb8428b3c402a62be8ab84b44223855356a.tar.bz2 abc-e782bbb8428b3c402a62be8ab84b44223855356a.zip | |
Commenting out a warning.
Diffstat (limited to 'src/aig/gia/giaShrink.c')
| -rw-r--r-- | src/aig/gia/giaShrink.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaShrink.c b/src/aig/gia/giaShrink.c index 5804b415..65fed129 100644 --- a/src/aig/gia/giaShrink.c +++ b/src/aig/gia/giaShrink.c @@ -127,7 +127,7 @@ Gia_Man_t * Gia_ManMapShrink4( Gia_Man_t * p, int fKeepLevel, int fVerbose ) if ( Gia_ManHasDangling(pNew) ) { pNew = Gia_ManCleanup( pTemp = pNew ); - if ( Gia_ManAndNum(pNew) != Gia_ManAndNum(pTemp) ) + if ( fVerbose && Gia_ManAndNum(pNew) != Gia_ManAndNum(pTemp) ) printf( "Gia_ManMapShrink4() node reduction after sweep %6d -> %6d.\n", Gia_ManAndNum(pTemp), Gia_ManAndNum(pNew) ); Gia_ManStop( pTemp ); } |