mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

remove debug output

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-06-06 16:37:24 -07:00
parent 2bff0a6b8a
commit 73c3f34d66
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/ast/rewriter/th_rewriter.cpp
View file

@ -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;
}