Fixed the problem with blackboxes not preserving their names after duplication.

a7acb2f1 · Alan Mishchenko · 70694628 · a7acb2f1
Commit a7acb2f1 authored Sep 08, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abc/abcNtk.c
+1 -1

No files found.
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -356,7 +356,7 @@ Abc_Ntk_t * Abc_NtkDup( Abc_Ntk_t * pNtk )
        // duplicate the nets and nodes (CIs/COs/latches already dupped)
        Abc_NtkForEachObj( pNtk, pObj, i )
            if ( pObj->pCopy == NULL )
-                Abc_NtkDupObj(pNtkNew, pObj, 0);
+                Abc_NtkDupObj(pNtkNew, pObj, Abc_NtkHasBlackbox(pNtk) && Abc_ObjIsNet(pObj));
        // reconnect all objects (no need to transfer attributes on edges)
        Abc_NtkForEachObj( pNtk, pObj, i )
            if ( !Abc_ObjIsBox(pObj) && !Abc_ObjIsBo(pObj) )