diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcAig.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcBalance.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abc/abcAig.c b/src/base/abc/abcAig.c index b624fb10..c6611a1a 100644 --- a/src/base/abc/abcAig.c +++ b/src/base/abc/abcAig.c @@ -1172,7 +1172,7 @@ void Abc_AigRemoveFromLevelStructure( Vec_Vec_t * vStruct, Abc_Obj_t * pNode ) Abc_Obj_t * pTemp; int m; assert( pNode->fMarkA ); - vVecTemp = (Vec_Ptr_t *)Vec_VecEntry( vStruct, pNode->Level ); + vVecTemp = Vec_VecEntry( vStruct, pNode->Level ); Vec_PtrForEachEntry( Abc_Obj_t *, vVecTemp, pTemp, m ) { if ( pTemp != pNode ) @@ -1201,7 +1201,7 @@ void Abc_AigRemoveFromLevelStructureR( Vec_Vec_t * vStruct, Abc_Obj_t * pNode ) Abc_Obj_t * pTemp; int m; assert( pNode->fMarkB ); - vVecTemp = (Vec_Ptr_t *)Vec_VecEntry( vStruct, Abc_ObjReverseLevel(pNode) ); + vVecTemp = Vec_VecEntry( vStruct, Abc_ObjReverseLevel(pNode) ); Vec_PtrForEachEntry( Abc_Obj_t *, vVecTemp, pTemp, m ) { if ( pTemp != pNode ) diff --git a/src/base/abci/abcBalance.c b/src/base/abci/abcBalance.c index f69c80bd..a4fa0451 100644 --- a/src/base/abci/abcBalance.c +++ b/src/base/abci/abcBalance.c @@ -303,7 +303,7 @@ Vec_Ptr_t * Abc_NodeBalanceCone( Abc_Obj_t * pNode, Vec_Vec_t * vStorage, int Le if ( Vec_VecSize( vStorage ) <= Level ) Vec_VecPush( vStorage, Level, 0 ); // get the temporary array of nodes - vNodes = (Vec_Ptr_t *)Vec_VecEntry( vStorage, Level ); + vNodes = Vec_VecEntry( vStorage, Level ); Vec_PtrClear( vNodes ); // collect the nodes in the implication supergate RetValue = Abc_NodeBalanceCone_rec( pNode, vNodes, 1, fDuplicate, fSelective ); |