summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-07-22 17:23:48 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-07-22 17:23:48 -0700
commit2cdc5ab850ca884f727d5061eb75362d1b3d3f08 (patch)
tree104ad5dce579a3d97ac33291dc710024e97ea06f /src
parenteee04f448d994db05d7566f5cb78e986eaee515d (diff)
downloadabc-2cdc5ab850ca884f727d5061eb75362d1b3d3f08.tar.gz
abc-2cdc5ab850ca884f727d5061eb75362d1b3d3f08.tar.bz2
abc-2cdc5ab850ca884f727d5061eb75362d1b3d3f08.zip
Bug fix in 'print_gates' due to the mix-up of the inverter.
Diffstat (limited to 'src')
-rw-r--r--src/base/abci/abcMap.c2
1 files changed, 1 insertions, 1 deletions
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 );