From b4d0abb77d4ba5a89564233736522c3497d946ee Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 27 Jun 2015 21:38:32 -0700 Subject: Undo recent assert. --- src/map/if/ifMap.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/map/if/ifMap.c') diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 4f0372a6..064494e0 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -192,8 +192,8 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep continue; // check if the cut is a special AND-gate cut pCut->fAndCut = fUseAndCut && pCut->nLeaves == 2 && pCut->pLeaves[0] == pObj->pFanin0->Id && pCut->pLeaves[1] == pObj->pFanin1->Id; - assert( pCut->nLeaves != 2 || pCut->pLeaves[0] < pCut->pLeaves[1] ); - assert( pCut->nLeaves != 2 || pObj->pFanin0->Id < pObj->pFanin1->Id ); + //assert( pCut->nLeaves != 2 || pCut->pLeaves[0] < pCut->pLeaves[1] ); + //assert( pCut->nLeaves != 2 || pObj->pFanin0->Id < pObj->pFanin1->Id ); // compute the truth table pCut->iCutFunc = -1; pCut->fCompl = 0; -- cgit v1.2.3