diff options
Diffstat (limited to 'src/opt/nwk/nwkStrash.c')
-rw-r--r-- | src/opt/nwk/nwkStrash.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/nwk/nwkStrash.c b/src/opt/nwk/nwkStrash.c index 74fc4d56..26fba57f 100644 --- a/src/opt/nwk/nwkStrash.c +++ b/src/opt/nwk/nwkStrash.c @@ -116,13 +116,13 @@ Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ) { if ( Nwk_ObjIsCi(pObj) ) { - pObjNew = Aig_ObjCreatePi(pMan); + pObjNew = Aig_ObjCreateCi(pMan); Level = Tim_ManGetCiArrival( (Tim_Man_t *)pMan->pManTime, pObj->PioId ); Aig_ObjSetLevel( pObjNew, Level ); } else if ( Nwk_ObjIsCo(pObj) ) { - pObjNew = Aig_ObjCreatePo( pMan, Aig_NotCond((Aig_Obj_t *)Nwk_ObjFanin0(pObj)->pCopy, pObj->fInvert) ); + pObjNew = Aig_ObjCreateCo( pMan, Aig_NotCond((Aig_Obj_t *)Nwk_ObjFanin0(pObj)->pCopy, pObj->fInvert) ); Level = Aig_ObjLevel( pObjNew ); Tim_ManSetCoArrival( (Tim_Man_t *)pMan->pManTime, pObj->PioId, (float)Level ); } |