diff options
| -rw-r--r-- | src/expr/sequence.cpp | 4 | ||||
| -rw-r--r-- | src/theory/quantifiers/instantiate.cpp | 1 |
2 files changed, 2 insertions, 3 deletions
diff --git a/src/expr/sequence.cpp b/src/expr/sequence.cpp index 9ae19660b..394c1a407 100644 --- a/src/expr/sequence.cpp +++ b/src/expr/sequence.cpp @@ -98,7 +98,7 @@ bool Sequence::strncmp(const Sequence& y, size_t n) const bool Sequence::rstrncmp(const Sequence& y, size_t n) const { - Assert(d_type == y.d_type); + Assert(getType() == y.getType()); size_t b = (size() >= y.size()) ? size() : y.size(); size_t s = (size() <= y.size()) ? size() : y.size(); if (n > s) @@ -282,7 +282,7 @@ bool Sequence::hasSuffix(const Sequence& y) const Sequence Sequence::update(size_t i, const Sequence& t) const { - Assert(d_type == t.d_type); + Assert(getType() == t.getType()); if (i < size()) { std::vector<Node> vec(d_seq.begin(), d_seq.begin() + i); diff --git a/src/theory/quantifiers/instantiate.cpp b/src/theory/quantifiers/instantiate.cpp index d40a2c13d..deed76fc9 100644 --- a/src/theory/quantifiers/instantiate.cpp +++ b/src/theory/quantifiers/instantiate.cpp @@ -523,7 +523,6 @@ bool Instantiate::printInstantiationsList(std::ostream& out) } } } - out << std::endl; return printed; } |