From b55ad5f20e9a7195198b14ddebaa188bb450bdd8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 11 Aug 2022 09:31:54 +0300 Subject: [PATCH] fix #6267 --- src/smt/theory_special_relations.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_special_relations.cpp b/src/smt/theory_special_relations.cpp index aac93d93534..9113f189e47 100644 --- a/src/smt/theory_special_relations.cpp +++ b/src/smt/theory_special_relations.cpp @@ -1149,8 +1149,8 @@ namespace smt { void theory_special_relations::get_specrels(func_decl_set& rels) const { - for (auto [f, r] : m_relations) - rels.insert(m_util.get_relation(r->m_decl)); + for (auto [f, r] : m_relations) + rels.insert(r->m_decl); } }