diff options
Diffstat (limited to 'src/theory/strings/strings_entail.cpp')
| -rw-r--r-- | src/theory/strings/strings_entail.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/strings_entail.cpp b/src/theory/strings/strings_entail.cpp index 54af1ddcd..62e81d132 100644 --- a/src/theory/strings/strings_entail.cpp +++ b/src/theory/strings/strings_entail.cpp @@ -842,7 +842,7 @@ Node StringsEntail::getMultisetApproximation(Node a) } else if (a.getKind() == STRING_CONCAT) { - NodeBuilder<> nb(STRING_CONCAT); + NodeBuilder nb(STRING_CONCAT); for (const Node& ac : a) { nb << getMultisetApproximation(ac); @@ -974,7 +974,7 @@ Node StringsEntail::inferEqsFromContains(Node x, Node y) cs.push_back(yiLen[0]); } - NodeBuilder<> nb(AND); + NodeBuilder nb(AND); // (= x (str.++ y1' ... ym')) if (!cs.empty()) { |