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 9f502e1f6..928414523 100644 --- a/src/theory/strings/strings_entail.cpp +++ b/src/theory/strings/strings_entail.cpp @@ -60,7 +60,7 @@ bool StringsEntail::canConstantContainConcat(Node c, } else if (n[i].getKind() == STRING_ITOS && ArithEntail::check(n[i][0])) { - Assert(c.getType().isString()); + Assert(c.getType().isString()); // string-only const std::vector<unsigned>& tvec = c.getConst<String>().getVec(); // find the first occurrence of a digit starting at pos while (pos < tvec.size() && !String::isDigit(tvec[pos])) @@ -594,7 +594,7 @@ bool StringsEntail::stripConstantEndpoints(std::vector<Node>& n1, { if (n2[index1].isConst()) { - Assert(n2[index1].getType().isString()); + Assert(n2[index1].getType().isString()); // string-only CVC4::String t = n2[index1].getConst<String>(); if (n1.size() == 1) { |