From 680af1891b76db8942c72dd1156cd949e4beca7f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 20 Dec 2017 15:41:39 -0800
Subject: Bug fix in 'write_aiger_cex'.

---
 src/base/io/ioWriteAiger.c | 1 +
 1 file changed, 1 insertion(+)

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++ )
-- 
cgit v1.2.3