#5482

Z3Prover · Aug 24, 2021 · 26db68b · 26db68b
1 parent e5b6cd3
commit 26db68b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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;