diff options
Diffstat (limited to 'src/opt/sfm')
| -rw-r--r-- | src/opt/sfm/sfmArea.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmArea.c b/src/opt/sfm/sfmArea.c index f957438e..68a8c142 100644 --- a/src/opt/sfm/sfmArea.c +++ b/src/opt/sfm/sfmArea.c @@ -295,7 +295,7 @@ void Abc_ObjChangePerform( Abc_Obj_t * pObj, Vec_Int_t * vInfo, Vec_Int_t * vFir assert( Abc_ObjFanoutNum(pObj) == 0 ); Abc_NtkDeleteObj(pObj); pObj = pFanin; - assert( fUseInv == 0 ); +// assert( fUseInv == 0 ); } else Abc_ObjChangeUpdate( pObj, iFanin, pCells, pNodeInfo, vTemp ); |