diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-04 19:21:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-04 19:21:59 -0700 |
| commit | e7a029d73fbce3145063f0e65b952b356014cf63 (patch) | |
| tree | 5af31da61093df0d66b455f2d775b3001cdda7c2 /src/aig/gia/giaResub.c | |
| parent | ed9c16d4f5e1484bb287c30a6af50832a62d35ec (diff) | |
| download | abc-e7a029d73fbce3145063f0e65b952b356014cf63.tar.gz abc-e7a029d73fbce3145063f0e65b952b356014cf63.tar.bz2 abc-e7a029d73fbce3145063f0e65b952b356014cf63.zip | |
Various changes.
Diffstat (limited to 'src/aig/gia/giaResub.c')
| -rw-r--r-- | src/aig/gia/giaResub.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaResub.c b/src/aig/gia/giaResub.c index 660440c3..95ed12cf 100644 --- a/src/aig/gia/giaResub.c +++ b/src/aig/gia/giaResub.c @@ -1472,8 +1472,8 @@ Vec_Int_t * Gia_ManResubOne( Vec_Ptr_t * vDivs, int nWords, int nLimit, int nDiv Gia_ManResubPerform( p, vDivs, nWords, nLimit, nDivsMax, iChoice, fUseXor, fDebug, fVerbose, Depth ); if ( fVerbose ) Gia_ManResubPrint( p->vGates, Vec_PtrSize(vDivs) ); - if ( fVerbose ) - printf( "\n" ); + //if ( fVerbose ) + // printf( "\n" ); if ( !Gia_ManResubVerify(p, pFunc) ) { Gia_ManResubPrint( p->vGates, Vec_PtrSize(vDivs) ); |