diff options
Diffstat (limited to 'src/sat/bsat/satSolver.c')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index a04921c9..6d517b8e 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -1293,6 +1293,13 @@ void sat_solver_store_free( sat_solver * s ) if ( s->pStore ) Sto_ManFree( s->pStore ); s->pStore = NULL; } + +int sat_solver_store_change_last( sat_solver * s ) +{ + extern int Sto_ManChangeLastClause( void * p ); + if ( s->pStore ) return Sto_ManChangeLastClause( s->pStore ); + return -1; +} void sat_solver_store_mark_roots( sat_solver * s ) { |