diff options
Diffstat (limited to 'src/theory/strings/regexp_solver.cpp')
| -rw-r--r-- | src/theory/strings/regexp_solver.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/theory/strings/regexp_solver.cpp b/src/theory/strings/regexp_solver.cpp index 164e4e1c0..18815c731 100644 --- a/src/theory/strings/regexp_solver.cpp +++ b/src/theory/strings/regexp_solver.cpp @@ -125,11 +125,7 @@ void RegExpSolver::check(const std::map<Node, std::vector<Node> >& mems) { for (const Node& m : mr.second) { - bool polarity = m.getKind() != NOT; - if (polarity || !options::stringIgnNegMembership()) - { - allMems[m] = mr.first; - } + allMems[m] = mr.first; } } |