diff options
Diffstat (limited to 'src/base/abc/abcFanio.c')
| -rw-r--r-- | src/base/abc/abcFanio.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcFanio.c b/src/base/abc/abcFanio.c index fea98c53..154fe149 100644 --- a/src/base/abc/abcFanio.c +++ b/src/base/abc/abcFanio.c @@ -263,7 +263,7 @@ void Abc_ObjReplace( Abc_Obj_t * pNodeOld, Abc_Obj_t * pNodeNew ) // transfer the fanouts to the old node Abc_ObjTransferFanout( pNodeOld, pNodeNew ); // remove the old node - Abc_NtkDeleteObj( pNodeOld ); + Abc_NtkDeleteObj_rec( pNodeOld, 1 ); } /**Function************************************************************* |