diff options
Diffstat (limited to 'src/sat/asat/jfront.c')
| -rw-r--r-- | src/sat/asat/jfront.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/asat/jfront.c b/src/sat/asat/jfront.c index 8e673cc9..efbe7883 100644 --- a/src/sat/asat/jfront.c +++ b/src/sat/asat/jfront.c @@ -177,7 +177,7 @@ void Asat_JManStop( solver * pSat ) if ( p == NULL ) return; pSat->pJMan = NULL; - Extra_MmFlexStop( p->pMem, 0 ); + Extra_MmFlexStop( p->pMem ); Vec_PtrFree( p->vVars ); free( p ); } |