diff options
Diffstat (limited to 'src/opt/cut')
-rw-r--r-- | src/opt/cut/cutOracle.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/opt/cut/cutOracle.c b/src/opt/cut/cutOracle.c index f7883e3f..b26e7d5e 100644 --- a/src/opt/cut/cutOracle.c +++ b/src/opt/cut/cutOracle.c @@ -126,9 +126,6 @@ Cut_Oracle_t * Cut_OracleStart( Cut_Man_t * pMan ) ***********************************************************************/ void Cut_OracleStop( Cut_Oracle_t * p ) { - Cut_Cut_t * pCut; - int i; - // if ( p->pParams->fVerbose ) { printf( "Cut computation statistics with oracle:\n" ); @@ -136,8 +133,6 @@ void Cut_OracleStop( Cut_Oracle_t * p ) ABC_PRT( "Total time ", p->timeTotal ); } - Vec_PtrForEachEntry( Cut_Cut_t *, p->vCutsNew, pCut, i ) - if ( p->vCuts0 ) Vec_PtrFree( p->vCuts0 ); if ( p->vCuts1 ) Vec_PtrFree( p->vCuts1 ); if ( p->vCutsNew ) Vec_PtrFree( p->vCutsNew ); |