From c46c957a0721004eb21c5f3d3f316ba1c8ab8df1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 9 Mar 2012 19:50:18 -0800 Subject: Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... --- src/base/io/ioWriteAiger.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/io') 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 ) -- cgit v1.2.3