diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-15 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-15 08:01:00 -0800 |
| commit | 0871bffae307e0553e0c5186336189e8b55cf6a6 (patch) | |
| tree | 4571d1563fe33a53a57fea1c35fb668b9d33265f /src/opt/cut/cutOracle.c | |
| parent | f936cc0680c98ffe51b3a1716c996072d5dbf76c (diff) | |
| download | abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.gz abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.bz2 abc-0871bffae307e0553e0c5186336189e8b55cf6a6.zip | |
Version abc90215
Diffstat (limited to 'src/opt/cut/cutOracle.c')
| -rw-r--r-- | src/opt/cut/cutOracle.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/cut/cutOracle.c b/src/opt/cut/cutOracle.c index 4ec6bc05..32798f4f 100644 --- a/src/opt/cut/cutOracle.c +++ b/src/opt/cut/cutOracle.c @@ -74,7 +74,7 @@ Cut_Oracle_t * Cut_OracleStart( Cut_Man_t * pMan ) assert( pMan->pParams->nVarsMax >= 3 && pMan->pParams->nVarsMax <= CUT_SIZE_MAX ); assert( pMan->pParams->fRecord ); - p = ALLOC( Cut_Oracle_t, 1 ); + p = ABC_ALLOC( Cut_Oracle_t, 1 ); memset( p, 0, sizeof(Cut_Oracle_t) ); // set and correct parameters @@ -130,7 +130,7 @@ void Cut_OracleStop( Cut_Oracle_t * p ) { printf( "Cut computation statistics with oracle:\n" ); printf( "Current cuts = %8d. (Trivial = %d.)\n", p->nCuts-p->nCutsTriv, p->nCutsTriv ); - PRT( "Total time ", p->timeTotal ); + ABC_PRT( "Total time ", p->timeTotal ); } Vec_PtrForEachEntry( p->vCutsNew, pCut, i ) @@ -145,7 +145,7 @@ void Cut_OracleStop( Cut_Oracle_t * p ) if ( p->vCutPairs ) Vec_IntFree( p->vCutPairs ); Extra_MmFixedStop( p->pMmCuts ); - free( p ); + ABC_FREE( p ); } /**Function************************************************************* |