diff options
Diffstat (limited to 'src/aig/nwk/nwkDfs.c')
-rw-r--r-- | src/aig/nwk/nwkDfs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/nwk/nwkDfs.c b/src/aig/nwk/nwkDfs.c index 308f4693..ed19f71a 100644 --- a/src/aig/nwk/nwkDfs.c +++ b/src/aig/nwk/nwkDfs.c @@ -114,14 +114,14 @@ int Nwk_ManLevelBackup( Nwk_Man_t * pNtk ) { if ( Nwk_ObjIsCi(pObj) ) { - Level = pManTimeUnit? (int)Tim_ManGetPiArrival( pManTimeUnit, pObj->PioId ) : 0; + Level = pManTimeUnit? (int)Tim_ManGetCiArrival( pManTimeUnit, pObj->PioId ) : 0; Nwk_ObjSetLevel( pObj, Level ); } else if ( Nwk_ObjIsCo(pObj) ) { Level = Nwk_ObjLevel( Nwk_ObjFanin0(pObj) ); if ( pManTimeUnit ) - Tim_ManSetPoArrival( pManTimeUnit, pObj->PioId, (float)Level ); + Tim_ManSetCoArrival( pManTimeUnit, pObj->PioId, (float)Level ); Nwk_ObjSetLevel( pObj, Level ); if ( LevelMax < Nwk_ObjLevel(pObj) ) LevelMax = Nwk_ObjLevel(pObj); |