Fix type comparisons involving pointer. (#4738)

Fixes debug regressions, introduced by a combination of the addition of sequence update and the change to pointers.

diff --git a/src/expr/sequence.cpp b/src/expr/sequence.cpp
index 9ae19660be43b2ea5c1f7b05cc9e345fceef2a82..394c1a407880ad303ea1c09c563d4f2bdd73f037 100644 (file)
--- 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);