diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 12:35:34 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 12:35:34 +0700 |
| commit | 820a147ef1e8ff307c3d4e675001372e8f636404 (patch) | |
| tree | 00112747e075531f04a8326e2654791a75fddd9b /src/base | |
| parent | 957b9f0173d70a1b750f1ef09580065b9285761c (diff) | |
| download | abc-820a147ef1e8ff307c3d4e675001372e8f636404.tar.gz abc-820a147ef1e8ff307c3d4e675001372e8f636404.tar.bz2 abc-820a147ef1e8ff307c3d4e675001372e8f636404.zip | |
Removed useless typecasts related to changes in Vec_VecEntry().
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 ); |