diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 12:55:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-05 12:55:40 -0700 |
| commit | db34dbeb80005ca85ec860d4cbbe2bb1223a0849 (patch) | |
| tree | 0f41c7fe7f282ca063d7c2739498ebb30116ec98 /src/aig/gia/giaAiger.c | |
| parent | e4f9ebfa8773364e76f2493a694892e7fb2b6d95 (diff) | |
| download | abc-db34dbeb80005ca85ec860d4cbbe2bb1223a0849.tar.gz abc-db34dbeb80005ca85ec860d4cbbe2bb1223a0849.tar.bz2 abc-db34dbeb80005ca85ec860d4cbbe2bb1223a0849.zip | |
Temporarily (?) undoing previous change because it is incompatible with old AIGER files generated by ABC.
Diffstat (limited to 'src/aig/gia/giaAiger.c')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index fd85747c..a0bc1cb4 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -510,8 +510,8 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS unsigned char * pCurTemp; pCur++; // skip new line if present - if ( *pCur == '\n' ) - pCur++; +// if ( *pCur == '\n' ) +// pCur++; while ( pCur < (unsigned char *)pContents + nFileSize ) { // read extra AIG @@ -1122,7 +1122,8 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int } // write the comment - fprintf( pFile, "c\n" ); +// fprintf( pFile, "c\n" ); + fprintf( pFile, "c" ); // write additional AIG if ( p->pAigExtra ) |