stdout

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Dec 13, 2021 · b2af7ea · b2af7ea
1 parent 9ec0f94
commit b2af7ea
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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))) {