Commit db34dbeb by Alan Mishchenko

Temporarily (?) undoing previous change because it is incompatible with old…

Temporarily (?) undoing previous change because it is incompatible with old AIGER files generated by ABC.
parent e4f9ebfa
...@@ -510,8 +510,8 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS ...@@ -510,8 +510,8 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
unsigned char * pCurTemp; unsigned char * pCurTemp;
pCur++; pCur++;
// skip new line if present // skip new line if present
if ( *pCur == '\n' ) // if ( *pCur == '\n' )
pCur++; // pCur++;
while ( pCur < (unsigned char *)pContents + nFileSize ) while ( pCur < (unsigned char *)pContents + nFileSize )
{ {
// read extra AIG // read extra AIG
...@@ -1122,7 +1122,8 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int ...@@ -1122,7 +1122,8 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
} }
// write the comment // write the comment
fprintf( pFile, "c\n" ); // fprintf( pFile, "c\n" );
fprintf( pFile, "c" );
// write additional AIG // write additional AIG
if ( p->pAigExtra ) if ( p->pAigExtra )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment