From 26db68bf2c1c44ee04b8374c1a98f320754f9cd3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Aug 2021 11:15:52 -0700
Subject: [PATCH] #5482

---
 src/ast/datatype_decl_plugin.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/ast/datatype_decl_plugin.cpp b/src/ast/datatype_decl_plugin.cpp
index 5a08edfe6e0..084f7d2c7a1 100644
--- a/src/ast/datatype_decl_plugin.cpp
+++ b/src/ast/datatype_decl_plugin.cpp
@@ -710,11 +710,9 @@ namespace datatype {
         ptr_vector<sort> todo, subsorts;
         sort* s0 = s;
         todo.push_back(s);
-        status st;
-        std::cout << "is recursive " << mk_pp(s, m) << "\n";
+        status st;        
         while (!todo.empty()) {
             s = todo.back();
-            std::cout << "is recursive - todo " << mk_pp(s, m) << "\n";
             if (already_found.find(datatype_name(s), st) && st == BLACK) {
                 todo.pop_back();
                 continue;