fix #6267

Z3Prover · Aug 11, 2022 · b55ad5f · b55ad5f
1 parent 4906425
commit b55ad5f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);
     }
 
 }