From 05f51cbb2ad3856916325a4322401fe0d8fde408 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 4 Sep 2012 13:52:42 -0700
Subject: Enabled recording the name of the file GIA is coming from.

---
 src/opt/mfs/mfsGia.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/opt/mfs')

diff --git a/src/opt/mfs/mfsGia.c b/src/opt/mfs/mfsGia.c
index 88c0a45e..c7c2fb0e 100644
--- a/src/opt/mfs/mfsGia.c
+++ b/src/opt/mfs/mfsGia.c
@@ -59,6 +59,7 @@ Gia_Man_t * Gia_ManCreateResubMiter( Aig_Man_t * p )
     // create the new manager
     pNew = Gia_ManStart( Aig_ManObjNum(p) );
     pNew->pName = Gia_UtilStrsav( p->pName );
+    pNew->pSpec = Gia_UtilStrsav( p->pSpec );
     Gia_ManHashAlloc( pNew );
     // create the objects
     pOuts0 = ABC_ALLOC( int, Aig_ManPoNum(p) );
-- 
cgit v1.2.3