diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-10 16:45:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-10 16:45:48 -0800 |
| commit | ac030ee42cf4eb28bc4ae3a14e86e37261af7a4a (patch) | |
| tree | c6cb432cd9eb3ac9097cfba74998ce1e388c44dc /src/aig/gia/giaHash.c | |
| parent | 5ebf135b6ab0fb5181e383a889f72f96b033adef (diff) | |
| download | abc-ac030ee42cf4eb28bc4ae3a14e86e37261af7a4a.tar.gz abc-ac030ee42cf4eb28bc4ae3a14e86e37261af7a4a.tar.bz2 abc-ac030ee42cf4eb28bc4ae3a14e86e37261af7a4a.zip | |
Generation of barrier-buffers for hierarchical design.
Diffstat (limited to 'src/aig/gia/giaHash.c')
| -rw-r--r-- | src/aig/gia/giaHash.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c index 10e1866e..c28745e9 100644 --- a/src/aig/gia/giaHash.c +++ b/src/aig/gia/giaHash.c @@ -182,7 +182,7 @@ void Gia_ManHashResize( Gia_Man_t * p ) assert( *pPlace != 0 ); Counter++; } - Counter2 = Gia_ManAndNum(p); + Counter2 = Gia_ManAndNum(p) - Gia_ManBufNum(p); assert( Counter == Counter2 ); ABC_FREE( pHTableOld ); // if ( p->fVerbose ) |