From 73c3f34d66c300c8ddf31a6f2ac0b74458f2fa7b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 6 Jun 2023 16:37:24 -0700 Subject: [PATCH] remove debug output Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/th_rewriter.cpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/ast/rewriter/th_rewriter.cpp b/src/ast/rewriter/th_rewriter.cpp index c29688020..d4e302a5d 100644 --- a/src/ast/rewriter/th_rewriter.cpp +++ b/src/ast/rewriter/th_rewriter.cpp @@ -835,11 +835,6 @@ struct th_rewriter_cfg : public default_rewriter_cfg { if (m().proofs_enabled() && der_change) result_pr = m().mk_transitivity(result_pr, p2); - if (der_change) { - verbose_stream() << result << "\n"; - verbose_stream() << "==>\n"; - verbose_stream() << r << "\n"; - } result = r; }