#6481

Z3Prover · Dec 8, 2022 · 8981d32 · 8981d32
1 parent 4a451b1
commit 8981d32
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/math/lp/stacked_vector.h b/src/math/lp/stacked_vector.h
@@ -55,6 +55,9 @@ template < typename B> class stacked_vector {
         bool operator==(B const& other) const {
             return m_vec.m_vector[m_i] == other;
         }
+        bool operator!=(B const& other) const {
+            return m_vec.m_vector[m_i] != other;
+        }
         B& operator+=(B const &delta) {
             // not tracking the change here!
             return m_vec.m_vector[m_i] += delta;