From 44a83bde2856053ad1e600f75a6a145dca0994b5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 29 Aug 2013 16:25:55 -0700
Subject: Adding new line (\n) after 'c' at the beginning of the comment
 section in AIGER format.

---
 src/aig/gia/giaAiger.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 8f199f43..8987eea9 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -509,6 +509,9 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS
         Vec_Str_t * vStr;
         unsigned char * pCurTemp;
         pCur++;
+        // skip new line if present
+        if ( *pCur == '\n' )
+            pCur++;
         while ( pCur < (unsigned char *)pContents + nFileSize )
         {
             // read extra AIG
@@ -1119,7 +1122,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int
     }
 
     // write the comment
-    fprintf( pFile, "c" );
+    fprintf( pFile, "c\n" );
 
     // write additional AIG
     if ( p->pAigExtra )
-- 
cgit v1.2.3