diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-11 23:46:05 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-11 23:46:05 -0800 |
| commit | b38f692980f74bd53997b304e8ff1bb314f896f6 (patch) | |
| tree | 3820ee26759f0426bfdceb4f9808d1e52ca8a070 | |
| parent | fb6bab97d8a9103a0d9c94ea9ba54cb04ed2a2a8 (diff) | |
Reenable ss-combinereenableSSCombine
| -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) |