From e3c35840bb67ef1bc4c42699d305ab4ac69b4778 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Apr 2022 11:26:16 +0100
Subject: [PATCH] remove out

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

diff --git a/src/solver/assertions/asserted_formulas.cpp b/src/solver/assertions/asserted_formulas.cpp
index d246dc06f..d283a4b13 100644
--- a/src/solver/assertions/asserted_formulas.cpp
+++ b/src/solver/assertions/asserted_formulas.cpp
@@ -190,7 +190,6 @@ void asserted_formulas::push_scope() {
 }
 
 void asserted_formulas::push_scope_core() {
-    std::cout << "push\n";
     reduce();
     commit();
     SASSERT(inconsistent() || m_qhead == m_formulas.size() || m.limit().is_canceled());
@@ -261,7 +260,6 @@ bool asserted_formulas::check_well_sorted() const {
 }
 
 void asserted_formulas::reduce() {
-    std::cout << "reduce\n";
     if (inconsistent())
         return;
     if (canceled())