From 1fec0fa35bda08af519c688cfd7bfaf538a2d5e0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 19 Feb 2025 15:35:51 -0800
Subject: [PATCH] remove verbose output

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/datatype_decl_plugin.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/datatype_decl_plugin.cpp b/src/ast/datatype_decl_plugin.cpp
index f3b38843f..be030b378 100644
--- a/src/ast/datatype_decl_plugin.cpp
+++ b/src/ast/datatype_decl_plugin.cpp
@@ -1264,7 +1264,6 @@ namespace datatype {
             unsigned start2 = rand();
             for (; j < num_args; j++) {
                 unsigned i = (start2 + j) % num_args;
-                verbose_stream() << i << " " << start << " " << j << " tid: " << ty->get_id() << " " << num_args << "\n";
                 sort * T_i = autil.get_array_range_rec(c->get_domain(i));
                 TRACE("util_bug", tout << "c: " << i << " " << sort_ref(T_i, m) << "\n";);
                 if (!is_datatype(T_i)) {