mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 19:05:51 +00:00
Code Activity

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-07-31 13:54:00 -07:00
parent b723e1093b
commit eefde76bd4
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/smt_model_generator.cpp
View file

@ -389,8 +389,7 @@ namespace smt {
if (fid == null_family_id) return !m_hidden_ufs.contains(f);
if (fid == m.get_basic_family_id()) return false;
theory * th = m_context->get_theory(fid);
if (!th) return true;
return th->include_func_interp(f);
return !th || th->include_func_interp(f);
}
/**