diff options
Diffstat (limited to 'src/theory/strings/theory_strings_rewriter.cpp')
-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 f17944027..02bd08cc1 100644 --- a/src/theory/strings/theory_strings_rewriter.cpp +++ b/src/theory/strings/theory_strings_rewriter.cpp @@ -1473,7 +1473,7 @@ Node TheoryStringsRewriter::rewriteMembership(TNode node) { }else if(r.getKind() == kind::STRING_TO_REGEXP) { retNode = x.eqNode(r[0]); } - else if (r.getKind() == REGEXP_RANGE) + else if (options::useCode() && r.getKind() == REGEXP_RANGE) { // x in re.range( char_i, char_j ) ---> i <= str.code(x) <= j Node xcode = nm->mkNode(STRING_CODE, x); |