From c88d5e64681cc664c84476e248dc3bbc3c66a6e0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Mar 2020 18:33:02 -0700
Subject: [PATCH] remove debug out

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_lra.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 288511e28..e7b6f2d92 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -3218,7 +3218,6 @@ public:
     // lp::constraint_index const null_constraint_index = UINT_MAX; // not sure what a correct fix is
 
     void set_evidence(lp::constraint_index idx) {
-        std::cout << idx << "\n";
         if (idx == UINT_MAX) {
             return;
         }
@@ -3236,7 +3235,6 @@ public:
             break;
         }
         case definition_source: {
-            std::cout << "def\n";
             // skip definitions (these are treated as hard constraints)
             break;
         }
@@ -3274,7 +3272,6 @@ public:
                 set_evidence(ev.second);
             }
         }
-        std::cout << m_core << "\n";
         // SASSERT(validate_conflict());
         dump_conflict();
         if (is_conflict) {