diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-02 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-02 08:01:00 -0800 |
| commit | 8da52b6f202444711da6b1f1baac92e0a516c8e6 (patch) | |
| tree | caa6bf9d35cb8f10785c9e2fc9dd0a179704db33 /src/sat/bsat/satSolver.c | |
| parent | 12578e622f62bde4cfc1d3b055aa8747e5c9590b (diff) | |
| download | abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.tar.gz abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.tar.bz2 abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.zip | |
Version abc70202
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 ); |