From 7d73069798869e7bbfd274fca1d3a68d11db78ed Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 5 Mar 2020 10:36:24 +0100
Subject: [PATCH] na

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

diff --git a/src/sat/sat_unit_walk.cpp b/src/sat/sat_unit_walk.cpp
index cad6923d2..5e97adbdf 100644
--- a/src/sat/sat_unit_walk.cpp
+++ b/src/sat/sat_unit_walk.cpp
@@ -105,7 +105,6 @@ namespace sat {
         init_phase();
         lbool st = l_undef;
         while (s.rlimit().inc() && st == l_undef) {
-            std::cout << "walk " << st << "\n";
             if (inconsistent() && !m_decisions.empty()) do_pop();
             else if (inconsistent()) st = l_false; 
             else if (should_restart()) restart();
@@ -145,7 +144,6 @@ namespace sat {
     lbool unit_walk::do_backjump() {
         unsigned backjump_level = m_decisions.size(); // - (m_decisions.size()/20);
         lbool st = update_priority(backjump_level);
-        std::cout << "update " << st << "\n";
         switch (st) {
         case l_true: return l_true;
         case l_false: break; // TBD