diff options
Diffstat (limited to 'src/theory/strings/regexp_solver.cpp')
| -rw-r--r-- | src/theory/strings/regexp_solver.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/strings/regexp_solver.cpp b/src/theory/strings/regexp_solver.cpp index 3f419c66d..46570df48 100644 --- a/src/theory/strings/regexp_solver.cpp +++ b/src/theory/strings/regexp_solver.cpp @@ -664,7 +664,8 @@ Node RegExpSolver::getNormalSymRegExp(Node r, std::vector<Node>& nf_exp) switch (r.getKind()) { case REGEXP_EMPTY: - case REGEXP_SIGMA: break; + case REGEXP_SIGMA: + case REGEXP_RANGE: break; case STRING_TO_REGEXP: { if (!r[0].isConst()) |