diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 22:42:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 22:42:01 -0700 |
| commit | 68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce (patch) | |
| tree | ed405f4342bd390adbe6004207f2acc26c7bdf16 /src/aig/gia/giaShrink6.c | |
| parent | 5f97f5cffa90f2e289e572ffb233cec70d63a64d (diff) | |
| download | abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.tar.gz abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.tar.bz2 abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.zip | |
Improving printouts in sharing extraction.
Diffstat (limited to 'src/aig/gia/giaShrink6.c')
| -rw-r--r-- | src/aig/gia/giaShrink6.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaShrink6.c b/src/aig/gia/giaShrink6.c index 5deb033c..fd01b220 100644 --- a/src/aig/gia/giaShrink6.c +++ b/src/aig/gia/giaShrink6.c @@ -135,7 +135,7 @@ Gia_Man_t * Shr_ManFree( Shr_Man_t * p ) { p->pNew = Gia_ManCleanup( pTemp = p->pNew ); if ( Gia_ManAndNum(p->pNew) != Gia_ManAndNum(pTemp) ) - printf( "Gia_ManShrink6() node reduction after sweep %6d -> %6d.\n", Gia_ManAndNum(pTemp), Gia_ManAndNum(p->pNew) ); + printf( "Node reduction after sweep %6d -> %6d.\n", Gia_ManAndNum(pTemp), Gia_ManAndNum(p->pNew) ); Gia_ManStop( pTemp ); } Gia_ManSetRegNum( p->pNew, Gia_ManRegNum(p->pGia) ); |