mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Fix compilation error in column_info (#7235)

Browse source 
Reference to `m_low_bound` should be `m_lower_bound`.
This commit is contained in:
Bruce Mitchener 2024-05-27 12:19:29 +07:00 committed by GitHub
parent e454ae275c
commit 904a50fe49
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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/math/lp/column_info.h
View file

@ -47,7 +47,7 @@ public:
m_lower_bound_is_strict == c.m_lower_bound_is_strict && m_lower_bound_is_strict == c.m_lower_bound_is_strict &&
m_upper_bound_is_set == c.m_upper_bound_is_set&& m_upper_bound_is_set == c.m_upper_bound_is_set&&
m_upper_bound_is_strict == c.m_upper_bound_is_strict&& m_upper_bound_is_strict == c.m_upper_bound_is_strict&&
(!m_lower_bound_is_set || m_lower_bound == c.m_low_bound) && (!m_lower_bound_is_set || m_lower_bound == c.m_lower_bound) &&
(!m_upper_bound_is_set || m_upper_bound == c.m_upper_bound) && (!m_upper_bound_is_set || m_upper_bound == c.m_upper_bound) &&
m_cost == c.m_cost && m_cost == c.m_cost &&
m_is_fixed == c.m_is_fixed && m_is_fixed == c.m_is_fixed &&