mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

na

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-09-09 08:37:17 +03:00
parent ed6e23f153
commit 04e57e08ba
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_solver.cpp
View file

@ -306,9 +306,9 @@ namespace smt {
unsigned i = 0; unsigned i = 0;
for (auto & kv : m_name2assertion) { for (auto & kv : m_name2assertion) {
if (!core.contains(ait->m_key) && if (!core.contains(kv.m_key) &&
fds_intersect(pattern_fds, assrtn_fds[i])) fds_intersect(pattern_fds, assrtn_fds[i]))
new_core_literals.push_back(ait->m_key); new_core_literals.push_back(kv.m_key);
++i; ++i;
} }
} }