diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/opt/sfm/sfmNtk.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/sfm/sfmNtk.c b/src/opt/sfm/sfmNtk.c index 07a2e4ff..190fff00 100644 --- a/src/opt/sfm/sfmNtk.c +++ b/src/opt/sfm/sfmNtk.c @@ -96,13 +96,13 @@ Sfm_Ntk_t * Sfm_NtkAlloc( int nPis, int nPos, int nNodes, Vec_Int_t * vFanins, V assert( (nObjSize & 1) == 0 ); iOffset += nObjSize; } - assert( iOffSet <= nSize ); + assert( iOffset <= nSize ); assert( iFanOffset == Vec_IntSize(vEdges) ); iFanOffset = 0; Sfm_ManForEachObj( p, pObj, i ) { - assert( Vec_IntEntry(vFanins, i) == pObj->nFanis ); - assert( Vec_IntEntry(vFanouts, i) == pObj->nFanos ); + assert( Vec_IntEntry(vFanins, i) == (int)pObj->nFanis ); + assert( Vec_IntEntry(vFanouts, i) == (int)pObj->nFanos ); for ( k = 0; k < (int)pObj->nFanis; k++ ) assert( pObj->Fanio[k] == Vec_IntEntry(vEdges, iFanOffset++) ); } |