diff options
Diffstat (limited to 'src/theory/strings/theory_strings_preprocess.cpp')
| -rw-r--r-- | src/theory/strings/theory_strings_preprocess.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings_preprocess.cpp b/src/theory/strings/theory_strings_preprocess.cpp index de3cdb33a..6ceeff6f2 100644 --- a/src/theory/strings/theory_strings_preprocess.cpp +++ b/src/theory/strings/theory_strings_preprocess.cpp @@ -487,7 +487,6 @@ Node StringsPreprocess::simplify( Node t, std::vector< Node > &new_nodes ) { // Thus, replaceall( x, y, z ) = rpaw retNode = rpaw; } else if( t.getKind() == kind::STRING_STRCTN ){ - //std::cout << "NREDUCING " << t << std::endl; Node x = t[0]; Node s = t[1]; //negative contains reduces to existential |