From 6d79be6b01acc488b48169fe714cd51063577d3a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 5 Oct 2014 11:13:08 -0700 Subject: Bug fix in move_names. --- src/base/abc/abcFunc.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 207f63a1..5891c5bd 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -935,6 +935,7 @@ Gia_Man_t * Abc_NtkAigToGia( Abc_Ntk_t * p ) // create new manager pNew = Gia_ManStart( 10000 ); pNew->pName = Abc_UtilStrsav( Abc_NtkName(p) ); + pNew->pSpec = Abc_UtilStrsav( Abc_NtkSpec(p) ); Abc_NtkCleanCopy( p ); Hop_ManConst1(pHopMan)->iData = 1; // create primary inputs -- cgit v1.2.3