From 04edfc9fdbe048eb8f7541ef602bd050394fb100 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 23 Feb 2021 18:14:20 -0800 Subject: [PATCH] out Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index 07f6d683b..f466f5cf1 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -1155,8 +1155,6 @@ br_status seq_rewriter::mk_seq_extract(expr* a, expr* b, expr* c, expr_ref& resu if (str().is_extract(a, a1, b1, c1) && is_prefix(a, b, c) && is_suffix(a1, b1, c1)) { expr_ref q(m_autil.mk_sub(c, str().mk_length(a)), m()); - std::cout << "prefix-suffix " << mk_pp(a, m()) << " " << mk_pp(b, m()) << " " << mk_pp(c, m()) << "\n"; - std::cout << q << "\n"; result = str().mk_substr(a1, b1, m_autil.mk_add(c1, q)); return BR_REWRITE3; }