diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abc/abcFunc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 3df465f5..896af04b 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -941,9 +941,9 @@ Gia_Man_t * Abc_NtkAigToGia( Abc_Ntk_t * p ) Abc_NtkForEachCi( p, pNode, i ) pNode->iTemp = Gia_ManAppendCi(pNew); // find the number of objects - nObjs = Abc_NtkCiNum(p) + Abc_NtkCoNum(p); + nObjs = 1 + Abc_NtkCiNum(p) + Abc_NtkCoNum(p); Abc_NtkForEachNode( p, pNode, i ) - nObjs += 2 + Hop_DagSize( (Hop_Obj_t *)pNode->pData ); + nObjs += Hop_DagSize( (Hop_Obj_t *)pNode->pData ); vMapping = Vec_IntStart( nObjs ); // iterate through nodes used in the mapping vNodes = Abc_NtkDfs( p, 0 ); |