diff options
| -rw-r--r-- | src/theory/strings/theory_strings_rewriter.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings_rewriter.cpp b/src/theory/strings/theory_strings_rewriter.cpp index 15729916d..fa706b245 100644 --- a/src/theory/strings/theory_strings_rewriter.cpp +++ b/src/theory/strings/theory_strings_rewriter.cpp @@ -2169,7 +2169,6 @@ Node TheoryStringsRewriter::rewriteReplace( Node node ) { if( sn2!=node[2] ) { Node ret = nm->mkNode( STRING_STRREPL, node[0], node[1], sn2 ); - Trace("ajr-temp") << "rew : " << node << " -> " << ret << std::endl; return returnRewrite(node, ret, "repl-empty-subs"); } } |