diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-29 14:45:16 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-29 14:45:16 +0700 |
| commit | 4488ab83d0c36f65a349122f58c44b55025ff856 (patch) | |
| tree | a010a42d6e526bfc5fda0227670a6d882c0baa61 /src/sat/bsat | |
| parent | fdd8404bfc47ae385b7a3684113e8a76806eba79 (diff) | |
| download | abc-4488ab83d0c36f65a349122f58c44b55025ff856.tar.gz abc-4488ab83d0c36f65a349122f58c44b55025ff856.tar.bz2 abc-4488ab83d0c36f65a349122f58c44b55025ff856.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/sat/bsat')
| -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; |