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

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

diff --git a/src/aig/gia/giaFront.c b/src/aig/gia/giaFront.c
index 1d543a81..08fd6081 100644
--- a/src/aig/gia/giaFront.c
+++ b/src/aig/gia/giaFront.c
@@ -116,6 +116,7 @@ Gia_Man_t * Gia_ManFront( Gia_Man_t * p )
     // start the new manager
     pNew = Gia_ManStart( Gia_ManObjNum(p) );
     pNew->pName = Abc_UtilStrsav( p->pName );
+    pNew->pSpec = Abc_UtilStrsav( p->pSpec );
     pNew->nFront = 1 + (int)((float)1.1 * nCrossCutMaxInit); 
     // start the frontier
     pFront = ABC_CALLOC( char, pNew->nFront );
-- 
cgit v1.2.3