From b76dee7a7a4f8f0c468fc34983fdf166caf941ec Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 6 Nov 2019 18:47:06 +0100 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/muz/spacer/spacer_context.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index 7a964b8a8..f8e774a03 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -3414,9 +3414,8 @@ lbool context::expand_pob(pob& n, pob_ref_buffer &out) return l_undef; } - case l_false: + case l_false: { // n is unreachable, create new summary facts - { timeit _timer (is_trace_enabled("spacer_timeit"), "spacer::expand_pob::false", verbose_stream ()); @@ -3494,8 +3493,9 @@ lbool context::expand_pob(pob& n, pob_ref_buffer &out) m_stats.m_expand_pob_undef++; if (r && r->get_uninterpreted_tail_size() > 0) { // do not trust reach_pred_used - for (unsigned i = 0, sz = reach_pred_used.size(); i < sz; ++i) - { reach_pred_used[i] = false; } + for (unsigned i = 0, sz = reach_pred_used.size(); i < sz; ++i) { + reach_pred_used[i] = false; + } has_new_child = create_children(n, *r, *model, reach_pred_used, out); } IF_VERBOSE(1, verbose_stream() << " UNDEF "