Corner-case bug fix.

1ffdbbbe · Alan Mishchenko · 588122dc · 1ffdbbbe
Commit 1ffdbbbe authored Sep 11, 2023 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

src/base/abc/abcAig.c
+2 -1

No files found.
--- a/src/base/abc/abcAig.c
+++ b/src/base/abc/abcAig.c
@@ -860,7 +860,8 @@ 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 )
-            return 0;
+            //return 0;
+            continue;
        Abc_AigReplace_int( pMan, pOld, pNew, fUpdateLevel );
    }
    if ( fUpdateLevel )