Bug fix in move_names.

6d79be6b · Alan Mishchenko · 820cbc11 · 6d79be6b
Commit 6d79be6b authored Oct 05, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/abc/abcFunc.c
+1 -0

No files found.
--- 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