remove out

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Apr 20, 2022 · e3c3584 · e3c3584
1 parent ec57d3b
commit e3c3584
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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())