diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-19 12:33:06 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-19 12:33:06 -0500 |
| commit | 1c53068de281c88e72f9f433d854486034f38c66 (patch) | |
| tree | 2c4d2d71927f3edf7019f9d3722a892ee5e26354 /src | |
| parent | 9e760bef9ef0fb8244965dac845820a8dffde21e (diff) | |
Clean
Diffstat (limited to 'src')
| -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"); } } |