From db34dbeb80005ca85ec860d4cbbe2bb1223a0849 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Sep 2013 12:55:40 -0700
Subject: Temporarily (?) undoing previous change because it is incompatible
 with old AIGER files generated by ABC.

---
 src/aig/gia/giaAiger.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/aig/gia')

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 )
-- 
cgit v1.2.3