From 3f2dafe047001303a2c316454239793bf96e495e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 2 Jun 2020 18:32:01 -0700 Subject: [PATCH] fix $4457 Signed-off-by: Nikolaj Bjorner --- src/smt/old_interval.cpp | 1 - src/smt/theory_arith_nl.h | 1 - 2 files changed, 2 deletions(-) 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::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 deleted; deleted.resize(num, false); ptr_buffer monomials;