diff options
| -rw-r--r-- | src/map/scl/sclTime.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 66a28b51..4e3b3de8 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -109,6 +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( "%-*s ", Length, Abc_SclObjCell(p, pObj)->pName ); if ( fRise >= 0 ) printf( "(%s) ", fRise ? "rise" : "fall" ); |