diff options
Diffstat (limited to 'src/base/io/ioWriteAiger.c')
| -rw-r--r-- | src/base/io/ioWriteAiger.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c index d5b17a72..a22d16ba 100644 --- a/src/base/io/ioWriteAiger.c +++ b/src/base/io/ioWriteAiger.c @@ -842,7 +842,7 @@ void Io_WriteAigerCex( Abc_Cex_t * pCex, Abc_Ntk_t * pNtk, void * pG, char * pFi for ( k = 0; k < pCex->nPis; k++ ) { fprintf( pFile, "%d", Abc_InfoHasBit(pCex->pData, b) ); - Aig_ManPi( pAig, k )->fMarkA = Abc_InfoHasBit(pCex->pData, b++); + Aig_ManCi( pAig, k )->fMarkA = Abc_InfoHasBit(pCex->pData, b++); } fprintf( pFile, " " ); Aig_ManForEachNode( pAig, pObj, k ) |