diff --git a/src/ast/rewriter/expr_safe_replace.cpp b/src/ast/rewriter/expr_safe_replace.cpp
index 8ce40e49a..25a8fd657 100644
--- a/src/ast/rewriter/expr_safe_replace.cpp
+++ b/src/ast/rewriter/expr_safe_replace.cpp
@@ -76,7 +76,6 @@ void expr_safe_replace::operator()(expr* e, expr_ref& res) {
             }
         }
         else {
-            (std::cout << "q\n").flush();
             SASSERT(is_quantifier(a));
             quantifier* q = to_quantifier(a);
             expr_safe_replace replace(m);
diff --git a/src/muz/rel/dl_mk_simple_joins.cpp b/src/muz/rel/dl_mk_simple_joins.cpp
index b6fe39617..b9febe53e 100644
--- a/src/muz/rel/dl_mk_simple_joins.cpp
+++ b/src/muz/rel/dl_mk_simple_joins.cpp
@@ -273,7 +273,6 @@ namespace datalog {
             */
         void register_pair(app * t1, app * t2, rule * r, const var_idx_set & non_local_vars) {
             SASSERT(t1!=t2);
-            std::cout << "insert: " << mk_pp(t1, m) << " - " << mk_pp(t2, m) << "\n";
             cost_map::entry * e = m_costs.insert_if_not_there2(get_key(t1, t2), 0);
             pair_info * & ptr_inf = e->get_data().m_value;
             if (ptr_inf==0) {