Add TspStateBase destructor (#2620).

This commit is contained in:
Wilson Snyder 2020-12-02 07:37:34 -05:00
parent e3c32adad4
commit faa5edc068

View File

@ -39,6 +39,8 @@ public:
// key maps so that iteration is stable, without relying // key maps so that iteration is stable, without relying
// on pointer values that could lead to nondeterminism. // on pointer values that could lead to nondeterminism.
virtual bool operator<(const TspStateBase& otherp) const = 0; virtual bool operator<(const TspStateBase& otherp) const = 0;
virtual ~TspStateBase() = default;
}; };
typedef std::vector<const TspStateBase*> StateVec; typedef std::vector<const TspStateBase*> StateVec;