diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-01 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-01 08:01:00 -0700 |
commit | 73c8aa7c400bab320cea56529241e1d396f1e0f5 (patch) | |
tree | b8c066a742ad6b359650d60003de27093b7450f7 /src/map/if/ifMan.c | |
parent | 84355d5cb2c3b1c5b618ae59c8c7249d47d3410c (diff) | |
download | abc-73c8aa7c400bab320cea56529241e1d396f1e0f5.tar.gz abc-73c8aa7c400bab320cea56529241e1d396f1e0f5.tar.bz2 abc-73c8aa7c400bab320cea56529241e1d396f1e0f5.zip |
Version abc80901
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 015e3d31..35b0cccc 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -524,7 +524,7 @@ void If_ManDerefChoiceCutSet( If_Man_t * p, If_Obj_t * pObj ) // consider the nodes in the choice class for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) { - assert( pTemp == pObj || pTemp->nVisits == 1 ); +// assert( pTemp == pObj || pTemp->nVisits == 1 ); if ( --pTemp->nVisits == 0 ) { // Mem_FixedEntryRecycle( p->pMemSet, (char *)pTemp->pCutSet ); |