diff options
Diffstat (limited to 'src/sat/bsat/satSolver.c')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 1756b5df..c4847be4 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1264,7 +1264,7 @@ void sat_solver_store_alloc( sat_solver * s ) void sat_solver_store_write( sat_solver * s, char * pFileName ) { extern void Sto_ManDumpClauses( void * p, char * pFileName ); - Sto_ManDumpClauses( s->pStore, pFileName ); + if ( s->pStore ) Sto_ManDumpClauses( s->pStore, pFileName ); } void sat_solver_store_free( sat_solver * s ) @@ -1273,7 +1273,7 @@ void sat_solver_store_free( sat_solver * s ) if ( s->pStore ) Sto_ManFree( s->pStore ); s->pStore = NULL; } - + void sat_solver_store_mark_roots( sat_solver * s ) { extern void Sto_ManMarkRoots( void * p ); |