diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-23 10:11:23 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-23 10:11:23 -0800 |
commit | 3186a82f65ea8a5847dcf847423cd7f315a3a2ca (patch) | |
tree | a9c8e4ae5988e23ba12ef13b46f123697d4aadd6 | |
parent | bcf21e46778f63ab4ce490b57648421a2b4d7e28 (diff) | |
download | abc-3186a82f65ea8a5847dcf847423cd7f315a3a2ca.tar.gz abc-3186a82f65ea8a5847dcf847423cd7f315a3a2ca.tar.bz2 abc-3186a82f65ea8a5847dcf847423cd7f315a3a2ca.zip |
Intersection a bug in rewrite/refactor.
-rw-r--r-- | src/base/abc/abcAig.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcAig.c b/src/base/abc/abcAig.c index 8469789b..636fe30a 100644 --- a/src/base/abc/abcAig.c +++ b/src/base/abc/abcAig.c @@ -859,7 +859,7 @@ int Abc_AigReplace( Abc_Aig_t * pMan, Abc_Obj_t * pOld, Abc_Obj_t * pNew, int fU { pOld = (Abc_Obj_t *)Vec_PtrPop( pMan->vStackReplaceOld ); pNew = (Abc_Obj_t *)Vec_PtrPop( pMan->vStackReplaceNew ); - if ( Abc_ObjFanoutNum(pOld) != 0 ) + if ( Abc_ObjFanoutNum(pOld) == 0 ) return 0; Abc_AigReplace_int( pMan, pOld, pNew, fUpdateLevel ); } |