From 8981d32caf488cd4df4ed6ec7f14c390eba8ddb3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Dec 2022 07:06:27 -0800
Subject: [PATCH] #6481

---
 src/math/lp/stacked_vector.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/math/lp/stacked_vector.h b/src/math/lp/stacked_vector.h
index 61131955a..ecd61eb10 100644
--- a/src/math/lp/stacked_vector.h
+++ b/src/math/lp/stacked_vector.h
@@ -55,6 +55,9 @@ public:
         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;