From 3b87cdfd0fd3f5652a8a521bc2d51275a67b9a2b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 10 Jun 2020 16:24:54 -0700
Subject: [PATCH] remove the debug output

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/smt/theory_arith_eq.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/theory_arith_eq.h b/src/smt/theory_arith_eq.h
index 6dae5f60e..5a6ee094e 100644
--- a/src/smt/theory_arith_eq.h
+++ b/src/smt/theory_arith_eq.h
@@ -309,8 +309,6 @@ namespace smt {
 
                 // the original row was delete or it is not offset row anymore ===> remove it from table 
             }
-            if (y == -1)
-                std::cout << "h";
             // add new entry
             m_var_offset2row_id.insert(key, rid);
         }