From 159df60336d22b3eb1c4fab97c2363ab2295f38a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 12 Dec 2017 13:22:31 -0800
Subject: [PATCH] local changes

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

diff --git a/src/sat/sat_asymm_branch.cpp b/src/sat/sat_asymm_branch.cpp
index dbb5ea123..1eb84d6f4 100644
--- a/src/sat/sat_asymm_branch.cpp
+++ b/src/sat/sat_asymm_branch.cpp
@@ -134,7 +134,7 @@ namespace sat {
                 s.propagate(false); 
                 if (s.m_inconsistent)
                     break;
-                std::cout << m_elim_literals - elim << "\n";
+                // std::cout << m_elim_literals - elim << "\n";
                 if (m_elim_literals == elim)
                     break;
             }