diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 09:53:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 09:53:52 -0700 |
| commit | 2e9ab39ba19c869ab163ecc5eb578946d26b3f0a (patch) | |
| tree | 68d7ea44ea03714348577485f8a39e00e97c1f02 /src/map/mpm | |
| parent | 1814b6742cb2f7291cf4d3f3a11eabcdc4527158 (diff) | |
| download | abc-2e9ab39ba19c869ab163ecc5eb578946d26b3f0a.tar.gz abc-2e9ab39ba19c869ab163ecc5eb578946d26b3f0a.tar.bz2 abc-2e9ab39ba19c869ab163ecc5eb578946d26b3f0a.zip | |
New technology mapper.
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 |