diff options
Diffstat (limited to 'src/base/io/ioWriteAiger.c')
| -rw-r--r-- | src/base/io/ioWriteAiger.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c index b1eb40f4..0a68c7ee 100644 --- a/src/base/io/ioWriteAiger.c +++ b/src/base/io/ioWriteAiger.c @@ -914,6 +914,7 @@ void Io_WriteAigerCex( Abc_Cex_t * pCex, Abc_Ntk_t * pNtk, void * pG, char * pFi fprintf( pFile, "0" ); fprintf( pFile, " " ); Aig_ManCleanMarkA( pAig ); + Aig_ManConst1(pAig)->fMarkA = 1; for ( f = 0; f <= pCex->iFrame; f++ ) { for ( k = 0; k < pCex->nPis; k++ ) |