diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 642103f73..c46331d07 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1775,7 +1775,6 @@ public:
                     hi = floor(hi/mul);
                     lo = ceil(lo/mul);
                 }
-                std::cout << mk_pp(p, m) << " " << mk_pp(n, m) << " " << hi << " " << lo << " " << div_r << "\n";
                 literal p_le_r1  = mk_literal(a.mk_le(p, a.mk_numeral(hi, true)));
                 literal p_ge_r1  = mk_literal(a.mk_ge(p, a.mk_numeral(lo, true)));
                 literal n_le_div = mk_literal(a.mk_le(n, a.mk_numeral(div_r, true)));