diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-22 21:14:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-22 21:14:48 -0800 |
| commit | bcf21e46778f63ab4ce490b57648421a2b4d7e28 (patch) | |
| tree | f35738df6caf0fd31e6cc6560bc529b475246445 /src/base/abci/abcRr.c | |
| parent | 31519bd6d6c9cff4691019f72e0faf72e37bde88 (diff) | |
| download | abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.tar.gz abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.tar.bz2 abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.zip | |
Intersection a bug in rewrite/refactor.
Diffstat (limited to 'src/base/abci/abcRr.c')
| -rw-r--r-- | src/base/abci/abcRr.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/base/abci/abcRr.c b/src/base/abci/abcRr.c index 52d1fd32..86c5f13e 100644 --- a/src/base/abci/abcRr.c +++ b/src/base/abci/abcRr.c @@ -397,10 +397,7 @@ int Abc_NtkRRUpdate( Abc_Ntk_t * pNtk, Abc_Obj_t * pNode, Abc_Obj_t * pFanin, Ab else assert( 0 ); // replace if ( pFanout == NULL ) - { - Abc_AigReplace( (Abc_Aig_t *)pNtk->pManFunc, pNode, pNodeNew, 1 ); - return 1; - } + return Abc_AigReplace( (Abc_Aig_t *)pNtk->pManFunc, pNode, pNodeNew, 1 ); // find the fanout after redundancy removal if ( pNode == Abc_ObjFanin0(pFanout) ) pFanoutNew = Abc_AigAnd( (Abc_Aig_t *)pNtk->pManFunc, Abc_ObjNotCond(pNodeNew,Abc_ObjFaninC0(pFanout)), Abc_ObjChild1(pFanout) ); |