diff options
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/scl/sclSize.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index 02a1b74c..02f53740 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -177,7 +177,7 @@ static inline SC_Man * Abc_SclManAlloc( SC_Lib * pLib, Abc_Ntk_t * pNtk ) p->vNodeByGain = Vec_QueAlloc( p->nObjs ); Vec_QueSetPriority( p->vNodeByGain, Vec_FltArrayP(p->vNode2Gain) ); p->vNodeIter = Vec_IntStartFull( p->nObjs ); - p->vLevels = Vec_WecStart( 2 * Abc_NtkLevel(pNtk) ); + p->vLevels = Vec_WecStart( 2 * Abc_NtkLevel(pNtk) + 1 ); p->vChanged = Vec_IntAlloc( 100 ); Abc_NtkForEachCo( pNtk, pObj, i ) pObj->Level = Abc_ObjFanin0(pObj)->Level + 1; |