diff options
| -rw-r--r-- | src/aig/gia/giaPf.c | 2 | ||||
| -rw-r--r-- | src/opt/dau/dauCanon.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaPf.c b/src/aig/gia/giaPf.c index 703e3912..c453dc56 100644 --- a/src/aig/gia/giaPf.c +++ b/src/aig/gia/giaPf.c @@ -908,7 +908,7 @@ void Pf_ManPrintStats( Pf_Man_t * p, char * pTitle ) if ( !p->pPars->fVerbose ) return; printf( "%s : ", pTitle ); - printf( "Delay =%8.2f ", p->pPars->MapDelay ); + printf( "Delay =%8.2f ", (float)p->pPars->MapDelay ); printf( "Area =%12.2f ", p->pPars->MapArea ); printf( "Gate =%6d ", (int)p->pPars->Area ); printf( "Inv =%6d ", (int)p->nInvs ); diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index b93521d0..a5558c1e 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -2381,7 +2381,7 @@ static void Abc_TgReorderFGrps(Abc_TgMan_t * pMan) for (i = 0; i < n; i++) { char iv = pMan->pPerm[i]; - for (j = i; j > 0 && pMan->symPhase[(int)pFGrps[j - 1]] > pMan->symPhase[iv]; j--) + for (j = i; j > 0 && pMan->symPhase[(int)pFGrps[j - 1]] > pMan->symPhase[(int)iv]; j--) pFGrps[j] = pFGrps[j - 1]; pFGrps[j] = iv; } |