From 5a8f8b8aa47b2130fe7ed1568ca4e70ffc827c51 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 13 Dec 2012 10:11:39 -0800 Subject: Unifification of custom extensions. --- src/aig/gia/giaAiger.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 7a10e09d..65519b82 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -531,10 +531,10 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS { extern Gia_Rpr_t * Gia_AigerReadEquivClasses( unsigned char ** ppPos, int nSize ); pCur++; - // pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; + pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; pNew->pReprs = Gia_AigerReadEquivClasses( &pCur, Gia_ManObjNum(pNew) ); pNew->pNexts = Gia_ManDeriveNexts( pNew ); - // assert( pCur == pCurTemp ); + assert( pCur == pCurTemp ); } // read flop classes else if ( *pCur == 'f' ) @@ -1049,7 +1049,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int extern Vec_Str_t * Gia_WriteEquivClasses( Gia_Man_t * p ); fprintf( pFile, "e" ); vStrExt = Gia_WriteEquivClasses( p ); -// Gia_FileWriteBufferSize( pFile, Vec_StrSize(vStrExt) ); + Gia_FileWriteBufferSize( pFile, Vec_StrSize(vStrExt) ); fwrite( Vec_StrArray(vStrExt), 1, Vec_StrSize(vStrExt), pFile ); Vec_StrFree( vStrExt ); } -- cgit v1.2.3