From 4488ab83d0c36f65a349122f58c44b55025ff856 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 29 Dec 2016 14:45:16 +0700 Subject: Updates to delay optimization project. --- src/sat/bsat/satSolver.h | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/sat') 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; -- cgit v1.2.3