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

fix spacing

Browse source
This commit is contained in:
Murphy Berzish 2017-05-02 15:52:35 -04:00
parent e6d527c5d5
commit a418f0c30b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_arith_core.h
View file

@ -3269,7 +3269,7 @@ namespace smt {
template<typename Ext> template<typename Ext>
bool theory_arith<Ext>::get_lower(enode * n, expr_ref & r) { bool theory_arith<Ext>::get_lower(enode * n, expr_ref & r) {
theory_var v = n->get_th_var(get_id()); theory_var v = n->get_th_var(get_id());
bound * b = (v == null_theory_var) ? 0 : lower(v); bound* b = (v == null_theory_var) ? 0 : lower(v);
return b && to_expr(b->get_value(), is_int(v), r); return b && to_expr(b->get_value(), is_int(v), r);
} }