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

workaround manylinux build failure (it is advertized as a compiler bug)

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-05-28 14:34:58 -07:00
parent d09d37cb10
commit 35db0ae58b
2 changed files with 8 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/math/simplex/sparse_matrix.h
View file

@ -309,9 +309,9 @@ namespace simplex {
all_rows get_rows() { return all_rows(*this); }
numeral const& get_coeff(row r, unsigned v) {
for (auto & [coeff, u] : get_row(r))
if (u == v)
return coeff;
for (auto & row : get_row(r))
if (row.m_var == v)
return row.m_coeff;
return m_zero;
}