From 2cdc5ab850ca884f727d5061eb75362d1b3d3f08 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 22 Jul 2014 17:23:48 -0700
Subject: Bug fix in 'print_gates' due to the mix-up of the inverter.

---
 src/base/abci/abcMap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c
index 282a3de6..c01c6f2b 100644
--- a/src/base/abci/abcMap.c
+++ b/src/base/abci/abcMap.c
@@ -411,7 +411,7 @@ Abc_Obj_t * Abc_NodeFromMap_rec( Abc_Ntk_t * pNtkNew, Map_Node_t * pNodeMap, int
     // add the inverter
     pNodeInv = Abc_NtkCreateNode( pNtkNew );
     Abc_ObjAddFanin( pNodeInv, pNodeNew );
-    pNodeInv->pData = Mio_LibraryReadInv(Map_ManReadGenLib(Map_NodeReadMan(pNodeMap)));
+    pNodeInv->pData = Mio_LibraryReadInv((Mio_Library_t *)Abc_FrameReadLibGen());
 
     // set the inverter
     Map_NodeSetData( pNodeMap, fPhase, (char *)pNodeInv );
-- 
cgit v1.2.3