diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 69b3bb39f..453db141f 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" );