From d22da3aec408474cc5e39bfbab4d159104e4f709 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 16 Jul 2013 19:17:41 -0700
Subject: Commenting out assertion related to choices in 'if'.

---
 src/map/if/ifMap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/if')

diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 220570e1..7520c325 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -415,7 +415,7 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP
     // generate cuts
     for ( pTemp = pObj->pEquiv; pTemp; pTemp = pTemp->pEquiv )
     {
-        assert( pTemp->nRefs == 0 );
+//        assert( pTemp->nRefs == 0 );
 //        assert( p->pPars->fSeqMap || pTemp->pCutSet->nCuts > 0 ); // June 9, 2009
         if ( pTemp->pCutSet->nCuts == 0 )
             continue;
-- 
cgit v1.2.3