diff options
Diffstat (limited to 'src/opt/res')
| -rw-r--r-- | src/opt/res/resCore.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c index cb448fc0..a19a1573 100644 --- a/src/opt/res/resCore.c +++ b/src/opt/res/resCore.c @@ -183,12 +183,15 @@ void Res_UpdateNetwork( Abc_Obj_t * pObj, Vec_Ptr_t * vFanins, Hop_Obj_t * pFunc { Abc_Obj_t * pObjNew, * pFanin; int k; + // create the new node pObjNew = Abc_NtkCreateNode( pObj->pNtk ); pObjNew->pData = pFunc; Vec_PtrForEachEntry( vFanins, pFanin, k ) Abc_ObjAddFanin( pObjNew, pFanin ); // replace the old node by the new node +//printf( "Replacing node " ); Abc_ObjPrint( stdout, pObj ); +//printf( "Inserting node " ); Abc_ObjPrint( stdout, pObjNew ); // update the level of the node Abc_NtkUpdate( pObj, pObjNew, vLevels ); } |