diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2017-01-25 13:40:31 +0900 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-01-25 13:40:31 +0900 |
| commit | 876eb5a52e67911ccc19d5f732aa9e1c9279fd26 (patch) | |
| tree | 4a78999c29676235f613b4e1f8e1d1d0983107ba /src/sat | |
| parent | 123b425052636beceaa52e47ea695d35b75fb40a (diff) | |
| parent | 51f4dab475af1ffd22d23b5aeb8d7cf243739f75 (diff) | |
| download | abc-876eb5a52e67911ccc19d5f732aa9e1c9279fd26.tar.gz abc-876eb5a52e67911ccc19d5f732aa9e1c9279fd26.tar.bz2 abc-876eb5a52e67911ccc19d5f732aa9e1c9279fd26.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satSolver.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h index 7ef2c9e8..162b91e5 100644 --- a/src/sat/bsat/satSolver.h +++ b/src/sat/bsat/satSolver.h @@ -229,7 +229,12 @@ static void sat_solver_compress(sat_solver* s) (void) RetValue; } } - +static void sat_solver_delete_p( sat_solver ** ps ) +{ + if ( *ps ) + sat_solver_delete( *ps ); + *ps = NULL; +} static void sat_solver_clean_polarity(sat_solver* s, int * pVars, int nVars ) { int i; |