diff options
| -rw-r--r-- | src/map/scl/sclTime.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 80123754..bdad7f7c 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -84,8 +84,9 @@ Abc_Obj_t * Abc_SclFindMostCriticalFanin( SC_Man * p, int * pfRise, Abc_Obj_t * ***********************************************************************/ static inline void Abc_SclTimeGatePrint( SC_Man * p, Abc_Obj_t * pObj, int fRise ) { - printf( "%5d : ", Abc_ObjId(pObj) ); - printf( "%-10s ", Abc_SclObjCell(p, pObj)->pName ); + printf( "%7d : ", Abc_ObjId(pObj) ); + printf( "%d ", Abc_ObjFaninNum(pObj) ); + printf( "%-12s ", Abc_SclObjCell(p, pObj)->pName ); if ( fRise >= 0 ) printf( "(%s) ", fRise ? "rise" : "fall" ); printf( "delay = (" ); |