diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-07 10:28:25 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-11-07 12:28:25 -0600 |
commit | 58ac30a778baf698603af98ff01aa8c17d430b32 (patch) | |
tree | 401b61a75e5db4478047601af551d98db44494d5 /src | |
parent | de5552dfde079d161d52016e1be367e59fed1a7c (diff) |
Fix collectEmptyEqs in string rewriter (#2692)
Diffstat (limited to 'src')
-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 5ba9d6e3f..e94a23c87 100644 --- a/src/theory/strings/theory_strings_rewriter.cpp +++ b/src/theory/strings/theory_strings_rewriter.cpp @@ -4948,7 +4948,7 @@ std::pair<bool, std::vector<Node> > TheoryStringsRewriter::collectEmptyEqs( allEmptyEqs = false; } } - else + else if (x.getKind() == kind::AND) { for (const Node& c : x) { |