From d007f7a601d605cf9dcf43102eb4adb289738968 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 29 Sep 2020 03:30:45 -0700 Subject: [PATCH] na --- src/ast/euf/euf_egraph.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_egraph.cpp b/src/ast/euf/euf_egraph.cpp index f99ba6486..a00795cb4 100644 --- a/src/ast/euf/euf_egraph.cpp +++ b/src/ast/euf/euf_egraph.cpp @@ -518,7 +518,7 @@ namespace euf { bool egraph::propagate() { SASSERT(m_new_lits_qhead <= m_new_lits.size()); SASSERT(m_num_scopes == 0 || m_to_merge.empty()); - for (unsigned i = 0; i < m_to_merge.size() && m_limit().inc() && !inconsistent(); ++i) { + for (unsigned i = 0; i < m_to_merge.size() && m.limit().inc() && !inconsistent(); ++i) { auto const& w = m_to_merge[i]; merge(w.a, w.b, justification::congruence(w.commutativity)); }