From e04ded5640c3383294f5269228404e44651f39b6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 May 2013 12:05:28 -0700
Subject: Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes
 and pins.

---
 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 81980b40..f0204089 100644
--- a/src/aig/gia/giaHash.c
+++ b/src/aig/gia/giaHash.c
@@ -193,7 +193,7 @@ void Gia_ManHashResize( Gia_Man_t * p )
         Counter++;
     }
     Counter2 = Gia_ManAndNum(p);
-    assert( p->nPinTypes || Counter == Counter2 );
+    assert( Counter == Counter2 );
     ABC_FREE( pHTableOld );
 //    if ( p->fVerbose )
 //        printf( "Resizing GIA hash table: %d -> %d.\n", nHTableOld, p->nHTable );
-- 
cgit v1.2.3