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/aig/gia/giaIso.c | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c
index 16d0e46c..9c1eb35a 100644
--- a/src/aig/gia/giaIso.c
+++ b/src/aig/gia/giaIso.c
@@ -953,6 +953,7 @@ Gia_Man_t * Gia_ManDupFromVecs( Gia_Man_t * p, Vec_Int_t * vCis, Vec_Int_t * vAn
     // start the new manager
     pNew = Gia_ManStart( 5000 );
     pNew->pName = Abc_UtilStrsav( p->pName );
+    pNew->pSpec = Abc_UtilStrsav( p->pSpec );
     // create constant
     Gia_ManConst0(p)->Value = 0;
     // create PIs
-- 
cgit v1.2.3