From 73c8aa7c400bab320cea56529241e1d396f1e0f5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 1 Sep 2008 08:01:00 -0700 Subject: Version abc80901 --- src/map/if/ifMan.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/map/if') 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 ); -- cgit v1.2.3