merge

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · May 15, 2022 · 186a3c5 · 186a3c5
1 parent 1028c80
commit 186a3c5
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/math/simplex/sparse_matrix_def.h b/src/math/simplex/sparse_matrix_def.h
@@ -299,7 +299,8 @@ namespace simplex {
 
     template<typename Ext>
     void sparse_matrix<Ext>::add_var(row dst, numeral const& n, var_t v) {
-        if (m.is_zero(n))  return;
+        if (m.is_zero(n))
+            return;
         _row& r   = m_rows[dst.id()];
         column& c = m_columns[v];
         unsigned r_idx;
@@ -318,7 +319,9 @@ namespace simplex {
     */
     template<typename Ext>
     void sparse_matrix<Ext>::add(row row1, numeral const& n, row row2) {
-        if (m.is_zero(n)) return;
+
+        if (m.is_zero(n))
+            return;
         m_stats.m_add_rows++;
         _row & r1 = m_rows[row1.id()];