From b11f9050e370376e43bd76f70ce5abb11da3ff6e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 13 Jun 2016 18:20:25 -0700 Subject: [PATCH] fix bugs exposed from bad indentation warnings, #650 Signed-off-by: Nikolaj Bjorner --- src/muz/pdr/pdr_reachable_cache.cpp | 7 ++++++- src/smt/theory_fpa.cpp | 5 ++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/src/muz/pdr/pdr_reachable_cache.cpp b/src/muz/pdr/pdr_reachable_cache.cpp index 85100c19f..2bedc1393 100644 --- a/src/muz/pdr/pdr_reachable_cache.cpp +++ b/src/muz/pdr/pdr_reachable_cache.cpp @@ -109,7 +109,12 @@ namespace pdr { UNREACHABLE(); break; } - if (found) m_stats.m_hits++; m_stats.m_miss++; + if (found) { + m_stats.m_hits++; + } + else { + m_stats.m_miss++; + } return found; } diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp index 8e96c925d..ee7559500 100644 --- a/src/smt/theory_fpa.cpp +++ b/src/smt/theory_fpa.cpp @@ -691,7 +691,10 @@ namespace smt { m_rw.reset(); m_th_rw.reset(); m_trail_stack.pop_scope(m_trail_stack.get_num_scopes()); - if (m_factory) dealloc(m_factory); m_factory = 0; + if (m_factory) { + dealloc(m_factory); + m_factory = 0; + } ast_manager & m = get_manager(); dec_ref_map_key_values(m, m_conversions); dec_ref_collection_values(m, m_is_added_to_model);