diff options
Diffstat (limited to 'src/map/scl/sclTime.c')
-rw-r--r-- | src/map/scl/sclTime.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 4e3b3de8..b153db89 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -109,7 +109,7 @@ static inline void Abc_SclTimeNodePrint( SC_Man * p, Abc_Obj_t * pObj, int fRise { printf( "%7d : ", Abc_ObjId(pObj) ); printf( "%d ", Abc_ObjFaninNum(pObj) ); - printf( "%d ", Abc_ObjFanoutNum(pObj) ); + printf( "%2d ", Abc_ObjFanoutNum(pObj) ); printf( "%-*s ", Length, Abc_SclObjCell(p, pObj)->pName ); if ( fRise >= 0 ) printf( "(%s) ", fRise ? "rise" : "fall" ); @@ -162,7 +162,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fShort ) pObj = Abc_ObjFanin0(pPivot); while ( pObj && Abc_ObjIsNode(pObj) ) { - printf( "C-path %2d -- ", i-- ); + printf( "C-path %3d -- ", i-- ); Abc_SclTimeNodePrint( p, pObj, fRise, nLength, maxDelay ); pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj ); } |