diff --git a/src/smt/old_interval.cpp b/src/smt/old_interval.cpp
index a7b2dfd53..48fd7d69a 100644
--- a/src/smt/old_interval.cpp
+++ b/src/smt/old_interval.cpp
@@ -235,7 +235,6 @@ interval::interval(interval const & other):
     m_upper_open(other.m_upper_open),
     m_lower_dep(other.m_lower_dep),
     m_upper_dep(other.m_upper_dep) {
-    std::cout << "copy " << m_lower << " " << m_upper << "\n";
 }
 
 interval & interval::operator=(interval const & other) {
diff --git a/src/smt/theory_arith_nl.h b/src/smt/theory_arith_nl.h
index 79e317e44..d75ab0f13 100644
--- a/src/smt/theory_arith_nl.h
+++ b/src/smt/theory_arith_nl.h
@@ -1995,7 +1995,6 @@ bool theory_arith<Ext>::is_inconsistent2(grobner::equation const * eq, grobner &
         grobner::monomial const * m = eq->get_monomial(i);
         intervals.push_back(mk_interval_for(m));
     }
-    std::cout << intervals.size() << "\n";
     sbuffer<bool> deleted;
     deleted.resize(num, false);
     ptr_buffer<grobner::monomial> monomials;