diff --git a/src/smt/seq_regex.cpp b/src/smt/seq_regex.cpp
index 3fedd68e854..a6ce1884dfc 100644
--- a/src/smt/seq_regex.cpp
+++ b/src/smt/seq_regex.cpp
@@ -246,8 +246,6 @@ namespace smt {
         }
 
         if (info.interpreted) {
-            std::cout << "recur: " << r->get_id() << "\n";
-            std::cout << mk_pp(r, m) << "\n";
             update_state_graph(r);
             
             if (m_state_graph.is_dead(get_state_id(r))) {