diff options
| -rw-r--r-- | src/theory/strings/theory_strings_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings_rewriter.cpp b/src/theory/strings/theory_strings_rewriter.cpp index 0de42f686..5c9b4d324 100644 --- a/src/theory/strings/theory_strings_rewriter.cpp +++ b/src/theory/strings/theory_strings_rewriter.cpp @@ -1807,7 +1807,7 @@ Node TheoryStringsRewriter::rewriteSubstr(Node node) } } Trace("strings-rewrite-nf") << "No rewrites for : " << node << std::endl; - return node; + return rewriteSubstrExt(node); } Node TheoryStringsRewriter::rewriteSubstrExt(Node node) |