mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-31 08:23:17 +00:00
Code Activity

fix indent

Browse source
This commit is contained in:
Murphy Berzish 2017-02-23 15:25:20 -05:00
parent 6387d59f5c
commit 3816779ba1
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_case_split_queue.cpp
View file

@ -46,8 +46,8 @@ namespace smt {
bool operator()(bool_var v1, bool_var v2) const { bool operator()(bool_var v1, bool_var v2) const {
double p_v1, p_v2; double p_v1, p_v2;
if (!m_theory_var_priority.find(v1, p_v1)) { if (!m_theory_var_priority.find(v1, p_v1)) {
p_v1 = 0.0; p_v1 = 0.0;
} }
if (!m_theory_var_priority.find(v2, p_v2)) { if (!m_theory_var_priority.find(v2, p_v2)) {
p_v2 = 0.0; p_v2 = 0.0;
} }