From 8dfe404863427d5e7b18d055ffd78b453835f959 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 10 Jan 2007 08:01:00 -0800
Subject: Version abc70110

---
 src/sat/asat/jfront.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/asat/jfront.c')

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 );
 }
-- 
cgit v1.2.3