From 655d452cbb01a381110f111aea21071a24aa3799 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 30 Dec 2011 11:36:25 +0700
Subject: Delay optimization using precomputed library.

---
 src/base/abci/abcRec.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c
index 50d24cac..4bf44219 100644
--- a/src/base/abci/abcRec.c
+++ b/src/base/abci/abcRec.c
@@ -736,7 +736,9 @@ Abc_Ntk_t * Abc_NtkDupWithoutDangling( Abc_Ntk_t * pNtk )
         {
             Abc_NtkDupObj( pNtkNew, pObj, 0 );
             Abc_ObjAddFanin( pObj->pCopy, Abc_ObjFanin0(pObj)->pCopy );
-        }
+        } 
+    Abc_NtkAddDummyPiNames( pNtkNew );
+    Abc_NtkAddDummyPoNames( pNtkNew );
     if ( !Abc_NtkCheck( pNtkNew ) )
         fprintf( stdout, "Abc_NtkDupWithoutDangling(): Network check has failed.\n" );
     pNtk->pCopy = pNtkNew;
-- 
cgit v1.2.3