<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- src/util/lp/column_info.h
+++ src/util/lp/column_info.h
@@ -47,7 +47,7 @@ public:
             m_lower_bound_is_strict == c.m_lower_bound_is_strict &amp;&amp;
             m_upper_bound_is_set == c.m_upper_bound_is_set&amp;&amp;
             m_upper_bound_is_strict == c.m_upper_bound_is_strict&amp;&amp;
-            (!m_lower_bound_is_set || m_lower_bound == c.m_low_bound) &amp;&amp;
+            (!m_lower_bound_is_set || m_lower_bound == c.m_lower_bound) &amp;&amp;
             (!m_upper_bound_is_set || m_upper_bound == c.m_upper_bound) &amp;&amp;
             m_cost == c.m_cost &amp;&amp;
             m_is_fixed == c.m_is_fixed &amp;&amp;
--- src/util/lp/lp_core_solver_base.h
+++ src/util/lp/lp_core_solver_base.h
@@ -600,7 +600,7 @@ public:
            out &lt;&lt; " \n";
     }
 
-    bool column_is_free(unsigned j) const { return this-&gt;m_column_type[j] == free; }
+    bool column_is_free(unsigned j) const { return this-&gt;m_column_types[j] == column_type::free_column; }
 
     bool column_has_upper_bound(unsigned j) const {
         switch(m_column_types[j]) {
--- src/util/lp/static_matrix.h
+++ src/util/lp/static_matrix.h
@@ -83,7 +83,7 @@ public:
         ref(static_matrix &amp; m, unsigned row, unsigned col):m_matrix(m), m_row(row), m_col(col) {}
         ref &amp; operator=(T const &amp; v) { m_matrix.set( m_row, m_col, v); return *this; }
 
-        ref operator=(ref &amp; v) { m_matrix.set(m_row, m_col, v.m_matrix.get(v.m_row, v.m_col)); return *this; }
+        ref operator=(ref &amp; v) { m_matrix.set(m_row, m_col, v.m_matrix.get_elem(v.m_row, v.m_col)); return *this; }
 
         operator T () const { return m_matrix.get_elem(m_row, m_col); }
     };
--- src/util/lp/static_matrix_def.h
+++ src/util/lp/static_matrix_def.h
@@ -86,7 +86,7 @@ static_matrix&lt;T, X&gt;::static_matrix(static_matrix const &amp;A, unsigned * /* basis *
     init_row_columns(m, m);
     while (m--) {
         for (auto &amp; col : A.m_columns[m]){
-            set(col.var(), m, A.get_value_of_column_cell(col));
+            set(col.var(), m, A.get_column_cell(col));
         }
     }
 }
--- src/util/lp/tail_matrix.h
+++ src/util/lp/tail_matrix.h
@@ -39,6 +39,7 @@ public:
     virtual void apply_from_right(indexed_vector&lt;T&gt; &amp; w) = 0;
     virtual ~tail_matrix() {}
     virtual bool is_dense() const = 0;
+#ifdef Z3DEBUG
     struct ref_row {
         const tail_matrix &amp; m_A;
         unsigned m_row;
@@ -46,5 +47,6 @@ public:
         T operator[](unsigned j) const { return m_A.get_elem(m_row, j);}
     };
     ref_row operator[](unsigned i) const { return ref_row(*this, i);}
+#endif
 };
 }
</pre></body></html>