From 78c03ed83554233877cf4459913227ebb305dd15 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 19 Aug 2014 19:36:15 -0700 Subject: [PATCH] fix crash on delete clauses Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp index ed49e22b7..1c0cc145a 100644 --- a/src/sat/sat_solver.cpp +++ b/src/sat/sat_solver.cpp @@ -169,9 +169,9 @@ namespace sat { } void solver::del_clause(clause& c) { + if (!c.is_learned()) m_stats.m_non_learned_generation++; m_cls_allocator.del_clause(&c); m_stats.m_del_clause++; - if (!c.is_learned()) m_stats.m_non_learned_generation++; } clause * solver::mk_clause_core(unsigned num_lits, literal * lits, bool learned) {