mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Update smt_context.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-10-12 17:10:12 -07:00
parent c15968aa9e
commit 96e117d78c
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/smt/smt_context.cpp
View file

@ -1546,6 +1546,7 @@ namespace smt {
void context::get_specrels(func_decl_set& rels) const { void context::get_specrels(func_decl_set& rels) const {
family_id fid = m.get_family_id("specrels"); family_id fid = m.get_family_id("specrels");
theory* th = get_theory(fid);
if (th) if (th)
dynamic_cast<theory_special_relations*>(th)->get_specrels(rels); dynamic_cast<theory_special_relations*>(th)->get_specrels(rels);
} }