From ac030ee42cf4eb28bc4ae3a14e86e37261af7a4a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 10 Nov 2014 16:45:48 -0800
Subject: Generation of barrier-buffers for hierarchical design.

---
 src/aig/gia/giaHash.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaHash.c')

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 )
-- 
cgit v1.2.3