summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcPrint.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-09-19 17:35:04 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-09-19 17:35:04 -0700
commit480ca14c75e9f8c54ca9b55c39162324aaa1e288 (patch)
tree446dc0fd3a98d5d60c01f01f5b95e380b002ce34 /src/base/abci/abcPrint.c
parent3af0f719afa368cafbe7c8178d0995819b47be90 (diff)
downloadabc-480ca14c75e9f8c54ca9b55c39162324aaa1e288.tar.gz
abc-480ca14c75e9f8c54ca9b55c39162324aaa1e288.tar.bz2
abc-480ca14c75e9f8c54ca9b55c39162324aaa1e288.zip
Extending Liberty parser to handle multi-output cells.
Diffstat (limited to 'src/base/abci/abcPrint.c')
-rw-r--r--src/base/abci/abcPrint.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index 5f151b49..71900771 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -1025,7 +1025,7 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary )
Mio_GateSetValue( (Mio_Gate_t *)pObj->pData, 1 + Mio_GateReadValue((Mio_Gate_t *)pObj->pData) );
CounterTotal++;
// assuming that twin gates follow each other
- if ( Mio_GateReadTwin(((Mio_Gate_t *)pObj->pData)) != NULL )
+ if ( Abc_NtkFetchTwinNode(pObj) )
i++;
}