From b2af7ea68fced2ced3bd9f23fbcbe7160f920cae Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 13 Dec 2021 15:19:29 -0800
Subject: [PATCH] stdout

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/seq_regex.cpp | 2 --
 1 file changed, 2 deletions(-)

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))) {