diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/scl/sclUtil.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/scl/sclUtil.c b/src/map/scl/sclUtil.c index 2c71b739..b6bfebe4 100644 --- a/src/map/scl/sclUtil.c +++ b/src/map/scl/sclUtil.c @@ -218,6 +218,8 @@ void Abc_SclReadTimingConstr( Abc_Frame_t * pAbc, char * pFileName, int fVerbose while ( fgets( Buffer, 1000, pFile ) ) { pToken = strtok( Buffer, " \t\r\n" ); + if ( pToken == NULL ) + continue; if ( !strcmp(pToken, "set_driving_cell") ) { Abc_FrameSetDrivingCell( Abc_UtilStrsav(strtok(NULL, " \t\r\n")) ); |