From 1c53068de281c88e72f9f433d854486034f38c66 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 19 Jun 2018 12:33:06 -0500
Subject: Clean

---
 src/theory/strings/theory_strings_rewriter.cpp | 1 -
 1 file changed, 1 deletion(-)

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");
       }
     }
-- 
cgit v1.2.3