From faa5edc06876aa65fdfe2e5ea5fad1d09cde7c03 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Wed, 2 Dec 2020 07:37:34 -0500 Subject: [PATCH] Add TspStateBase destructor (#2620). --- src/V3TSP.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/V3TSP.h b/src/V3TSP.h index b3cc20808..e44295150 100644 --- a/src/V3TSP.h +++ b/src/V3TSP.h @@ -39,6 +39,8 @@ public: // key maps so that iteration is stable, without relying // on pointer values that could lead to nondeterminism. virtual bool operator<(const TspStateBase& otherp) const = 0; + + virtual ~TspStateBase() = default; }; typedef std::vector StateVec;