From 13e335f06283a0be2a442e55333fc33129a831f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Dec 2019 14:14:46 -0800
Subject: [PATCH] fix

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/grobner/pdd_grobner.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/grobner/pdd_grobner.cpp b/src/math/grobner/pdd_grobner.cpp
index a92c186df..d1ef03533 100644
--- a/src/math/grobner/pdd_grobner.cpp
+++ b/src/math/grobner/pdd_grobner.cpp
@@ -171,6 +171,7 @@ namespace dd {
         m_stats.m_superposed++;
         if (r.is_zero()) return;
         equation* eq = alloc(equation, r, m_dep_manager.mk_join(eq1.dep(), eq2.dep()), m_equations.size());
+        m_equations.push_back(eq);
         update_stats_max_degree_and_size(*eq);
         check_conflict(*eq);
         m_to_simplify.insert(eq);