From de6409f5589c73936167453d8ec0d2a311aa968c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 25 Dec 2019 11:07:14 -0800
Subject: [PATCH] na

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

diff --git a/src/math/grobner/pdd_grobner.cpp b/src/math/grobner/pdd_grobner.cpp
index 18dfcc335..1c3d165ba 100644
--- a/src/math/grobner/pdd_grobner.cpp
+++ b/src/math/grobner/pdd_grobner.cpp
@@ -207,7 +207,6 @@ namespace dd {
             }
         }
         if (linear.empty()) return false;
-        std::cout << "linear eqs: " << linear.size() << "\n";
         vector<equation_vector> use_list;
         for (equation * e : m_to_simplify) {
             add_to_use(e, use_list);
@@ -227,7 +226,7 @@ namespace dd {
                 if (dst->is_processed() && changed_leading_term) {
                     dst->set_processed(false);
                     pop_equation(dst, m_processed);
-                    push_equation(src, m_to_simplify);
+                    push_equation(dst, m_to_simplify);
                 }
             }            
         }