diff options
Diffstat (limited to 'src/map/mpm')
-rw-r--r-- | src/map/mpm/mpmMap.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c index 23c9d587..539638e9 100644 --- a/src/map/mpm/mpmMap.c +++ b/src/map/mpm/mpmMap.c @@ -263,7 +263,7 @@ static inline Mpm_Uni_t * Mpm_CutSetupInfo( Mpm_Man_t * p, Mpm_Cut_t * pCut, int int * pmEdge = Vec_IntArray( &p->vEdges ); int i, iLeaf; - Mpm_Uni_t * pUnit = Vec_PtrEntryLast(&p->vFreeUnits); + Mpm_Uni_t * pUnit = (Mpm_Uni_t *)Vec_PtrEntryLast(&p->vFreeUnits); if ( &pUnit->pCut != pCut ) { pUnit->pCut.iFunc = pCut->iFunc; @@ -367,7 +367,7 @@ p->timeCompare += Abc_Clock() - clk; iPivot = -1; // add the cut to storage - assert( pUnitNew == Vec_PtrEntryLast(&p->vFreeUnits) ); + assert( pUnitNew == (Mpm_Uni_t *)Vec_PtrEntryLast(&p->vFreeUnits) ); Vec_PtrPop( &p->vFreeUnits ); // insert this cut at location iPivot |