diff options
-rw-r--r-- | src/base/abc/abcFunc.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |