diff options
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 ) |