diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcHieNew.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c index 09de8709..0712c574 100644 --- a/src/base/abc/abcHieNew.c +++ b/src/base/abc/abcHieNew.c @@ -369,7 +369,8 @@ int Au_NtkAllocObj( Au_Ntk_t * p, int nFanins, int Type ) { int nObjInt2 = 63 + 64 * (((nObjInt-63) >> 6) + (((nObjInt-63) & 63) > 0)); assert( nObjInt2 >= nObjInt ); - p->nUseful += nObjInt - nObjInt2; +// if ( nObjInt2 + 64 < (1 << 12) ) +// p->nUseful += nObjInt - nObjInt2; nObjInt = nObjInt2; } |