From fee707842d466118c879eb9bb0092019374871f3 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 3 Feb 2025 07:50:37 -1000
Subject: [PATCH] register m_added_terms in m_changed_terms

---
 src/math/lp/dioph_eq.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index d2f69926a..d0dd0a9e2 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -671,6 +671,7 @@ namespace lp {
                 return;
             }
             m_added_terms.push_back(t);
+            m_changed_terms.insert(t->j());
             auto undo = undo_add_term(*this, t);
             lra.trail().push(undo);
         }