From 32314347bae6ddcd841a268e797ec4da45726abb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 10 Mar 2009 08:01:00 -0700
Subject: Version abc90310

---
 src/aig/ioa/ioaReadAig.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/aig/ioa/ioaReadAig.c')

diff --git a/src/aig/ioa/ioaReadAig.c b/src/aig/ioa/ioaReadAig.c
index 11c866f4..b81414a5 100644
--- a/src/aig/ioa/ioaReadAig.c
+++ b/src/aig/ioa/ioaReadAig.c
@@ -341,6 +341,18 @@ Aig_Man_t * Ioa_ReadAiger( char * pFileName, int fCheck )
         Aig_ManShortNames( pNew );
     }
 */
+    pCur = pSymbols;
+    if ( pCur + 1 < pContents + nFileSize && *pCur == 'c' )
+    {
+        pCur++;
+        if ( *pCur == 'n' )
+        {
+            pCur++;
+            // read model name
+            ABC_FREE( pNew->pName );
+            pNew->pName = Aig_UtilStrsav( pCur );
+        }
+    }
 
     // skipping the comments
     ABC_FREE( pContents );
-- 
cgit v1.2.3