diff options
Diffstat (limited to 'src/base/abci/abcLog.c')
| -rw-r--r-- | src/base/abci/abcLog.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcLog.c b/src/base/abci/abcLog.c index 64f5d548..32635a91 100644 --- a/src/base/abci/abcLog.c +++ b/src/base/abci/abcLog.c @@ -90,7 +90,7 @@ void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pCex, int Status, int nF fprintf( pFile, " " ); // write <engine_name> fprintf( pFile, "%s", pCommand ? pCommand : "unknown" ); - if ( Status == 0 ) + if ( pCex && Status == 0 ) fprintf( pFile, " %d", pCex->iPo ); // write <cyc> if ( pCex && pCex->iFrame != nFrames ) |