mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-31 16:33:18 +00:00
Code Activity

#5532

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-09-03 15:41:52 -07:00
parent 5633af76cc
commit 0ddbbe9bd2
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/sat/smt/q_mam.cpp
View file

@ -3333,6 +3333,8 @@ namespace q {
} }
void update_vars(unsigned short var_id, path * p, quantifier * qa, app * mp) { void update_vars(unsigned short var_id, path * p, quantifier * qa, app * mp) {
if (var_id >= qa->get_num_decls())
return;
paths & var_paths = m_var_paths[var_id]; paths & var_paths = m_var_paths[var_id];
bool found = false; bool found = false;
for (path* curr_path : var_paths) { for (path* curr_path : var_paths) {