register m_added_terms in m_changed_terms

Z3Prover · Feb 11, 2025 · fee7078 · fee7078
1 parent 21f67ef
commit fee7078
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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);
         }