diff options
Diffstat (limited to 'src/opt/cut/cutMan.c')
| -rw-r--r-- | src/opt/cut/cutMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/cut/cutMan.c b/src/opt/cut/cutMan.c index ca829471..8593ef93 100644 --- a/src/opt/cut/cutMan.c +++ b/src/opt/cut/cutMan.c @@ -145,7 +145,7 @@ void Cut_ManStop( Cut_Man_t * p ) if ( p->vCutPairs ) Vec_IntFree( p->vCutPairs ); if ( p->puTemp[0] ) free( p->puTemp[0] ); - Extra_MmFixedStop( p->pMmCuts, 0 ); + Extra_MmFixedStop( p->pMmCuts ); free( p ); } |