diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index b3bc2828d..bf2a40090 100644 --- a/src/map/scl/sclSize.c +++ b/src/map/scl/sclSize.c @@ -200,7 +200,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fPrintPath ) while ( pObj && Abc_ObjIsNode(pObj) ) { i++; - nLength = Abc_MaxInt( nLength, strlen(Abc_SclObjCell(pObj)->pName) ); + nLength = Abc_MaxInt( nLength, Abc_SclObjCell(pObj) ? strlen(Abc_SclObjCell(pObj)->pName) : 2 /* strlen("pi") */ ); pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj ); }