diff options
| -rw-r--r-- | src/base/abci/abcSpeedup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcSpeedup.c b/src/base/abci/abcSpeedup.c index 779fde62..35a901ad 100644 --- a/src/base/abci/abcSpeedup.c +++ b/src/base/abci/abcSpeedup.c @@ -444,7 +444,7 @@ void Abc_NtkSpeedupNode( Abc_Ntk_t * pNtk, Abc_Ntk_t * pAig, Abc_Obj_t * pNode, // create choice node pAnd = Abc_ObjRegular(pNode->pCopy); // repr pObj = Abc_ObjRegular(ppCofs[0]); // new - if ( pAnd->pData == NULL && pObj->pData == NULL && !Abc_AigCheckTfi(pObj, pAnd) ) + if ( pAnd->pData == NULL && pObj->pData == NULL && !Abc_AigNodeIsConst(pObj) && !Abc_AigCheckTfi(pObj, pAnd) ) { pObj->pData = pAnd->pData; pAnd->pData = pObj; |