diff options
| -rw-r--r-- | src/aig/gia/giaAiger.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 69b3bb39..453db141 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -799,7 +799,12 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck { // get the terminal type if ( *pCur == 'i' || *pCur == 'l' ) + { + // skip till the end of the line + while ( *pCur++ != '\n' ); + *(pCur-1) = 0; continue; + } if ( *pCur != 'o' ) { fprintf( stdout, "Wrong terminal type.\n" ); |