From 0ca8a245da0c1dd73d5309e31c2a972abdbf9d96 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 May 2013 17:53:03 -0700
Subject: Reading/writing MiniAIG and several minor changes.

---
 src/aig/gia/giaMini.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia/giaMini.c')

diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index f21d0e30..442be57c 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -168,6 +168,8 @@ Gia_Man_t * Gia_ManReadMiniAig( char * pFileName )
 {
     Mini_Aig_t * p = Mini_AigLoad( pFileName );
     Gia_Man_t * pGia = Gia_ManFromMiniAig( p );
+    ABC_FREE( pGia->pName );
+    pGia->pName = Extra_FileNameGeneric( pFileName ); 
     Mini_AigStop( p );
     return pGia;
 }
-- 
cgit v1.2.3