From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 14 Jul 2020 01:52:02 +0000 (-0500)
Subject: Fix type comparisons involving pointer. (#4738)
X-Git-Tag: cvc5-1.0.0~3118
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84fe644cb1956119b7b35ede06ee93583eae1925;p=cvc5.git

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 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);