mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-23 20:58:54 +00:00
Code Activity

fix pretty printer

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-12-07 12:20:05 -08:00
parent 626d736904
commit e5863acf9f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -373,7 +373,7 @@ std::ostream& PackedMatrix::display_sparse(std::ostream& out) const {
bool first = true; bool first = true;
for (int i = 0; i < row.get_size() * 64; ++i) { for (int i = 0; i < row.get_size() * 64; ++i) {
if (row[i]) { if (row[i]) {
if (first && row.rhs()) if (first && !row.rhs())
out << -i-1 << " "; out << -i-1 << " ";
else else
out << i+1 << " "; out << i+1 << " ";