New technology mapper.

This commit is contained in:
Alan Mishchenko 2013-07-13 09:53:52 -07:00
parent 1814b6742c
commit 2e9ab39ba1
1 changed files with 2 additions and 2 deletions

View File

@ -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