diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-18 14:05:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-18 14:05:00 -0700 |
| commit | ba3f2ac6c02f06f197447326be150dfbd93d1879 (patch) | |
| tree | 3361c17db5fb9fbc8de0cc9f9076fad7dccb68ed /src/aig/gia/giaIf.c | |
| parent | ef55bbc8e619f6ecca808695a772223c696612cc (diff) | |
| download | abc-ba3f2ac6c02f06f197447326be150dfbd93d1879.tar.gz abc-ba3f2ac6c02f06f197447326be150dfbd93d1879.tar.bz2 abc-ba3f2ac6c02f06f197447326be150dfbd93d1879.zip | |
Small changes in several packages.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 1af21299..537ffd0a 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -338,7 +338,7 @@ int Gia_ManCountDupLut6( Gia_Man_t * p ) pFanin->fMark0 = 1; } Gia_ManCleanMark0( p ); - if ( nCountDup + nCountDup ) + if ( nCountDup + nCountPis ) printf( "Dup fanins = %d. CI fanins = %d. Total = %d. (%.2f %%)\n", nCountDup, nCountPis, nCountDup + nCountPis, 100.0 * (nCountDup + nCountPis) / Gia_ManLutNum(p) ); return nCountDup + nCountPis; |